Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Human-Computer Interface Concepts for Verifiable Mission Specification, Planning, and Management



    Conference:

    AIAA Infotech@Aerospace (I@A) Conference



    Publication date :

    2013-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    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


    Towards Verifiable Approach to Mission Planning for Multiple UAVs

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


    Towards Verifiable Approach to Mission Planning for Multiple UAVs

    Sirigineedi, Gopinadh / Tsourdos, Antonios / White, Brian et al. | AIAA | 2009


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

    Kim, B.U. / Humphrey, L.R. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2014


    Resource Envelope Concepts for Mission Planning

    K. Y. Ibrahim / J. D. Weiler / J. C. Tokaz | NTIS | 1991