Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

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



    Erscheinungsdatum :

    2014-01-01


    Format / Umfang :

    11 pages


    Anmerkungen:

    Includes bibliographical references and author index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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


    Towards Verifiable Approach to Mission Planning for Multiple UAVs

    Sirigineedi, G. / Tsourdos, A. / White, B. et al. | British Library Conference Proceedings | 2009


    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