Model Checking Human-Automation UAV Mission Plans
AIAA Guidance, Navigation, and Control (GNC) Conference
2013-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Model Checking Human-Automation UAV Mission Plans (AIAA 2013-5183)
British Library Conference Proceedings | 2013
|Model Checking UAV Mission Plans
AIAA | 2012
|Model Checking UAV Mission Plans
British Library Conference Proceedings | 2012
|NTRS | 1978
|CloudSat Mission Status & Plans
NTRS | 2021
|