Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents

16 September 2016

Papers citing "Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents"

5 / 5 papers shown

Title
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions Dejanira Araiza-Illan A. Pipe Kerstin Eder 29 28 0 19 Apr 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 32 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 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
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