Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions

4 November 2015

Papers citing "Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions"

3 / 3 papers shown

Title
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents Dejanira Araiza-Illan A. Pipe Kerstin Eder 47 3 0 16 Sep 2016
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans Dejanira Araiza-Illan D. Western A. Pipe Kerstin Eder 25 24 0 16 Sep 2015
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers Kerstin Eder C. Harper U. Leonards 62 54 0 08 Apr 2014