134 citations · 276 across the 10 of their papers we have counts for
5 papers · 1 filter
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Robotic code needs to be verified to ensure its safety and functional correctness, especially when the robot is interacting with people. Testing real code in simulation is a viable…
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.…