Human-Computer Interface Concepts for Verifiable Mission Specification, Planning, and Management (AIAA 2013-4804)
Conference, Infotech@aerospace ; 2013 ; Boston, MA
2013-01-01
15 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Astronautics , AIAA , Aeronautics
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DataCite | 1937
British Library Conference Proceedings | 2016
|Satisfiability Checking of LTL Specifications for Verifiable UAV Mission Planning (AIAA 2014-0793)
British Library Conference Proceedings | 2014
|British Library Conference Proceedings | 2018
|