Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    PRELIMINARY APPLICATION OF FORMAL VERIFICATION TO AN AUTONOMY ARCHITECTURE FOR UNMANNED AIRCRAFT


    Beteiligte:
    Humphrey, L.R. (Autor:in) / Muñoz, C.A. (Autor:in)

    Erscheinungsdatum :

    2024



    Medientyp :

    Sonstige


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions

    Herencia-Zapana, Heber / Lopez, James / Gallagher, Glen et al. | IEEE | 2020


    Architectural design for intelligent autonomy in unmanned aircraft

    Insaurralde, Carlos C. | IEEE | 2015

    Freier Zugriff


    Towards Autonomy and Safety for Unmanned Aircraft Systems

    Torens, Christoph / Dauer, Johann C. / Adolf, Florian | Springer Verlag | 2018