2 papers
cs.SE2026
Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
Martina De Sanctis, Gianluca Filippone, Paola Inverardi +3
This paper addresses the challenge of operationalizing ethics in autonomous systems through runtime enforcement. It first conceptualizes the system's ethical space and outlines a s…
cs.SE2026
Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
Gianluca Filippone, Sara Pettinari, Patrizio Pelliccione
Robots are increasingly deployed across diverse domains and designed for multi-purpose operation. As robotic systems grow in complexity and operate in dynamic environments, the nee…