Human-Computer Interface Concepts for Verifiable Mission Specification, Planning, and Management (AIAA 2013-4804)
Conference, Infotech@aerospace ; 2013 ; Boston, MA
01.01.2013
15 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Infotech , Aeronautics , Astronautics , AIAA , Aerospace
© 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
|