3 papers
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.LG2025
Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
Calum Corrie Imrie, Ioannis Stefanakos, Sepeedeh Shahbeigi +2
The rapid advancement of machine learning (ML) has led to its increasing integration into cyber-physical systems (CPS) across diverse domains. While CPS offer powerful capabilities…
cs.MA2025
Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning
Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi +1
Producing robust task plans in human-robot collaborative missions is a critical activity in order to increase the likelihood of these missions completing successfully. Despite the…