Access

    Download

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Publication date :

    2024



    Type of media :

    Miscellaneous


    Type of material :

    Electronic Resource


    Language :

    English



    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

    Free access


    Towards Autonomy and Safety for Unmanned Aircraft Systems

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