4 papers
A Systematic Mapping Study on the Debugging of Autonomous Driving Systems
Nathan Shaw, Sanjeetha Pennada, Robert M Hierons +1
As Autonomous Driving Systems (ADS) progress towards commercial deployment, there is an increasing focus on ensuring their safety and reliability. While considerable research has b…
Hybrid Control Strategies for Safe and Adaptive Robot-Assisted Dressing
Yasmin Rafiq, Baslin A. James, Ke Xu +2
Safety, reliability, and user trust are crucial in human-robot interaction (HRI) where the robots must address hazards in real-time. This study presents hazard driven low-level con…
Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study
Michael Foster, Robert M. Hierons, Donghwan Shin +2
Software systems with large parameter spaces, nondeterminism and high computational cost are challenging to test. Recently, software testing techniques based on causal inference ha…
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
Yasmin Rafiq, Gricel Vázquez, Radu Calinescu +2
We present a control framework for robot-assisted dressing that augments low-level hazard response with runtime monitoring and formal verification. A parametric discrete-time Marko…