Model Checking UAV Mission Plans
AIAA Modeling and Simulation Technologies Conference
2012-01-01
Conference paper
Electronic Resource
English
Model Checking UAV Mission Plans
British Library Conference Proceedings | 2012
|Model Checking Human-Automation UAV Mission Plans
AIAA | 2013
|Model Checking Human-Automation UAV Mission Plans (AIAA 2013-5183)
British Library Conference Proceedings | 2013
|NTRS | 1978
|NTIS | 2017
|