Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Satisfiability Checking of LTL Specifications for Verifiable UAV Mission Planning (AIAA 2014-0793)



    Conference:

    52nd, Aerospace sciences meeting; held at the AIAA SciTech Forum 2014 ; 2014 ; National Harbor, MD



    Publication date :

    2014-01-01


    Size :

    11 pages


    Remarks:

    Includes bibliographical references and author index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Human-Computer Interface Concepts for Verifiable Mission Specification, Planning, and Management (AIAA 2013-4804)

    Rothwell, C. / Eggert, A. / Patzek, M.J. et al. | British Library Conference Proceedings | 2013


    DEIMOS-2 Advanced Mission Planning Capabilities (AIAA 2014-1646)

    Monge, A. / Cillero, B. / Gonzalez, O. et al. | British Library Conference Proceedings | 2014


    Mission Planning System for the TET-1 OnOrbitVerification Mission (AIAA 2014-1758)

    Sporl, A.K. / Lenzen, C. / Worle, M.T. et al. | British Library Conference Proceedings | 2014


    2003-01-0793 Developments in Thermoplastic Door Modules

    Ciliberti, M. / Schijve, W. / Society of Automotive Engineers | British Library Conference Proceedings | 2003


    The Incremental Planning System GSOC's Next Generation Mission Planning Framework (AIAA 2014-1785)

    Worle, M.T. / Lenzen, C. / Gottfert, T. et al. | British Library Conference Proceedings | 2014