Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans

16 September 2015

Papers citing "Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans"

2 / 2 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
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