Model Checking Human-Automation UAV Mission Plans (AIAA 2013-5183)
Conference, Guidance, navigation and control; AIAA guidance ; 2013 ; Boston, MA
2013-01-01
15 pages
Includes bibliographical references and index
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Model Checking Human-Automation UAV Mission Plans
AIAA | 2013
|STRATOSPHERIC-AIRSHIP-ASSISTED ORBITAL PAYLOAD LAUNCHING SYSTEM (AIAA 2018-5183)
British Library Conference Proceedings | 2018
|Model Checking UAV Mission Plans
AIAA | 2012
|Model Checking UAV Mission Plans
British Library Conference Proceedings | 2012
|British Library Conference Proceedings | 2004
|