6 papers
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…
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
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…
Do You Understand How I Feel?: Towards Verified Empathy in Therapy Chatbots
Francesco Dettori, Matteo Forasassi, Lorenzo Veronese +3
Conversational agents are increasingly used as support tools along mental therapeutic pathways with significant societal impacts. In particular, empathy is a key non-functional req…
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…