26 citations · 28 across the 2 of their papers we have counts for
6 papers
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker
Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder
To design trustworthy robots, we need to understand the impact factors of trust: people's attitudes, experience, and characteristics; the robot's physical design, reliability, and…
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
Safety in autonomous systems has been mostly studied from a human-centered perspective. Besides the loads they may carry, autonomous systems are also valuable property, and self-pr…
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…
A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry +2
Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirement…
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.…