3 papers
cs.SE2026
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…
cs.SE2026
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…
cs.FL2025
On Decidability Timed Automata with 2 Parametric Clocks
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
In this paper, we introduce a restriction of Timed Automata (TA), called non-resetting test Timed Automata (nrtTA). An nrtTA does not allow to test and reset the same clock on the…