AIAA-2019-2845: Formal Verification of Collision Avoidance for Turning Maneuvers in UAVs
Computer systems (Conference)
2019-01-01
8 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DataCite | 1900
Near-Optimal Guidance and Control for Spacecraft Collision Avoidance Maneuvers (AIAA 2014-4114)
British Library Conference Proceedings | 2014
|