134 citations · 276 across the 10 of their papers we have counts for
4 papers · 2 filters
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…
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction
Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe +1
Strategies are necessary to mitigate the impact of unexpected behavior in collaborative robotics, and research to develop solutions is lacking. Our aim here was to explore the bene…
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
The challenges of robotic software testing extend beyond conventional software testing. Valid, realistic and interesting tests need to be generated for multiple programs and hardwa…
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
The software of robotic assistants needs to be verified, to ensure its safety and functional correctness. Testing in simulation allows a high degree of realism in the verification.…