TY  - RPRT
TI  - Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
AU  - Dejanira Araiza-Illan
AU  - Anthony G. Pipe
AU  - Kerstin Eder
PY  - 2016
UR  - https://arxiv.org/abs/1609.08439
ID  - 1609.08439
ER  -