3 papers
eess.SY2025
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
Ernesto Casablanca, Oliver Schön, Paolo Zuliani +1
Ensuring the safety of AI-enabled systems, particularly in high-stakes domains such as autonomous driving and healthcare, has become increasingly critical. Traditional formal verif…
cs.RO2025
Blending Participatory Design and Artificial Awareness for Trustworthy Autonomous Vehicles
Ana Tanevska, Ananthapathmanabhan Ratheesh Kumar, Arabinda Ghosh +3
Current robotic agents, such as autonomous vehicles (AVs) and drones, need to deal with uncertain real-world environments with appropriate situational awareness (SA), risk awarenes…
cs.RO2024
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini +3
Developing trustworthy multi-agent systems for practical applications is challenging due to the complicated communication of situational awareness (SA) among agents. This paper sho…