Formal Verification of Collision Avoidance for Turning Maneuvers in UAVs
AIAA Aviation 2019 Forum
2019-01-01
Conference paper
Electronic Resource
English
AIAA-2019-2845: Formal Verification of Collision Avoidance for Turning Maneuvers in UAVs
British Library Conference Proceedings | 2019
|Probability Based Optimal Collision Avoidance Maneuvers
AIAA | 2005
|