52 citations · 90 across the 3 of their papers we have counts for
3 papers
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…
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Dejanira Araiza-Illan, David Western, Anthony G. Pipe +1
Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic sy…
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
Dejanira Araiza-Illan, David Western, Anthony Pipe +1
Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their…