5 papers
Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi +2
Integrating Large Language Models (LLMs) into complex software systems enables the generation of human-understandable explanations of opaque AI processes, such as automated task pl…
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…
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…
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…
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…