Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions

19 April 2016

Papers citing "Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions"

6 / 6 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
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions Dejanira Araiza-Illan D. Western A. Pipe Kerstin Eder 35 25 0 04 Nov 2015
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans Dejanira Araiza-Illan D. Western A. Pipe Kerstin Eder 28 24 0 16 Sep 2015
Towards Verifiably Ethical Robot Behaviour Louise A. Dennis Michael Fisher A. Winfield 36 52 0 14 Apr 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
Practical Verification of Decision-Making in Agent-Based Autonomous Systems Louise A. Dennis Michael Fisher N. Lincoln A. Lisitsa S. Veres 45 107 0 09 Oct 2013