Human-Computer Interface Concepts for Verifiable Mission Specification, Planning, and Management
AIAA Infotech@Aerospace (I@A) Conference
2013-01-01
Conference paper
Electronic Resource
English
British Library Conference Proceedings | 2013
|Towards Verifiable Approach to Mission Planning for Multiple UAVs
British Library Conference Proceedings | 2009
|Satisfiability Checking of LTL Specifications for Verifiable UAV Mission Planning (AIAA 2014-0793)
British Library Conference Proceedings | 2014
|Resource Envelope Concepts for Mission Planning
NTIS | 1991
|