3 papers
cs.LO2026
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
Gricel Vázquez, Calum Imrie, Sepeedeh Shahbeigi +5
Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challe…
cs.RO2025
Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach
Nawshin Mannan Proma, Gricel Vázquez, Sepeedeh Shahbeigi +2
As industrial autonomous ground vehicles are increasingly deployed in safety-critical environments, ensuring their safe operation under diverse conditions is paramount. This paper…
cs.RO2025
SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment
Nawshin Mannan Proma, Victoria J Hodge, Rob Alexander
The safety of autonomous systems in dynamic and hazardous environments poses significant challenges. This paper presents a testing approach named SCALOFT for systematically assessi…