Formal Verification of Collision Avoidance for Turning Maneuvers in UAVs
AIAA Aviation 2019 Forum
2019-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
|