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…