![](/img/cover-not-exists.png)
[IEEE 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR) - San Francisco, CA, USA (2016.12.13-2016.12.16)] 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR) - A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation
Coruhlu, Gokay, Erdem, Esra, Patoglu, VolkanYear:
2016
Language:
english
DOI:
10.1109/SIMPAR.2016.7862377
File:
PDF, 938 KB
english, 2016