3 papers
cs.AI2025
Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems
Victoria J. Hodge, Colin Paterson, Ibrahim Habli
The operational capabilities and application domains of AI-enabled autonomous systems have expanded significantly in recent years due to advances in robotics and machine learning (…
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…