Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Verification of Collision Avoidance for Turning Maneuvers in UAVs


    Contributors:

    Conference:

    AIAA Aviation 2019 Forum



    Publication date :

    2019-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    AIAA-2019-2845: Formal Verification of Collision Avoidance for Turning Maneuvers in UAVs

    Adler, Eytan / Jeannin, Jean-Baptiste | British Library Conference Proceedings | 2019




    Probability Based Optimal Collision Avoidance Maneuvers

    Kelly, Brad / De Picciotto, Solomon | AIAA | 2005


    DECENTRALIZED COLLISION AVOIDANCE FOR UAVS

    HALL ROBERT J | European Patent Office | 2022

    Free access