1 citations · 1 across the 7 of their papers we have counts for
4 papers · 1 filter
FormIDEAble: Safe and Socially-aware Autonomous Systems
Livia Lestingi, Amel Bennaceur, Marcello M. Bersani +5
Autonomous agents operating in socio-critical settings must coordinate with humans under uncertainty while respecting explicit safety constraints. Existing approaches either accoun…
Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
Alberto Tagliaferro, Bruno Guindani, Livia Lestingi +1
Early-stage specifications of safety-critical systems are typically expressed in natural language, making it difficult to derive formal properties suitable for verification and nee…
Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins
Bruno Guindani, Matteo Camilli, Livia Lestingi +1
Medical Cyber-Physical Systems (CPSs) integrating Patients, Devices, and healthcare personnel (Physicians) form safety-critical PDP triads whose dependability is challenged by syst…
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models
Simone Corbo, Luca Bancale, Valeria De Gennaro +3
Language is a deep-rooted means of perpetration of stereotypes and discrimination. Large Language Models (LLMs), now a pervasive technology in our everyday lives, can cause extensi…