Satisfiability Checking of LTL Specifications for Verifiable UAV Mission Planning (AIAA 2014-0793)
52nd, Aerospace sciences meeting; held at the AIAA SciTech Forum 2014 ; 2014 ; National Harbor, MD
2014-01-01
11 pages
Includes bibliographical references and author index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2013
|DEIMOS-2 Advanced Mission Planning Capabilities (AIAA 2014-1646)
British Library Conference Proceedings | 2014
|Mission Planning System for the TET-1 OnOrbitVerification Mission (AIAA 2014-1758)
British Library Conference Proceedings | 2014
|Towards Verifiable Approach to Mission Planning for Multiple UAVs
British Library Conference Proceedings | 2009
|The Incremental Planning System GSOC's Next Generation Mission Planning Framework (AIAA 2014-1785)
British Library Conference Proceedings | 2014
|