Verified Planar Formation Control Algorithms by Composition of Primitives (AIAA 2015-1541)
Guidance; Navigation; Control ; 2015 ; Kissimmee, FL
2015-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Supersonic Air Flows Around Some Geometrical Primitives (AIAA 2015-3012)
British Library Conference Proceedings | 2015
|A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)
British Library Conference Proceedings | 2015
|DataCite | 1875
Verified Computations of Laminar Premixed Flames AIAA Paper
British Library Conference Proceedings | 2007
|