52 citations · 78 across the 3 of their papers we have counts for
3 papers
Modular Verification of Autonomous Space Robotics
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis +6
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentia…
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Xingyu Zhao, Valentin Robu, David Flynn +3
Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncerta…
A Corroborative Approach to Verification and Validation of Human--Robot Teams
Matt Webster, David Western, Dejanira Araiza-Illan +4
We present an approach for the verification and validation (V&V) of robot assistants in the context of human-robot interactions (HRI), to demonstrate their trustworthiness through…