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
Aufsatz (Konferenz)
Englisch
Aerospace , Infotech , Astronautics , AIAA , Aeronautics
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DataCite | 1937
Satisfiability Checking of LTL Specifications for Verifiable UAV Mission Planning (AIAA 2014-0793)
British Library Conference Proceedings | 2014
|Space Mission Resilience (AIAA 2013-5407)
British Library Conference Proceedings | 2013
|Towards Verifiable Approach to Mission Planning for Multiple UAVs
British Library Conference Proceedings | 2009
|