Verified Planar Formation Control Algorithms by Composition of Primitives
AIAA Guidance, Navigation, and Control Conference
2015-01-01
Conference paper
Electronic Resource
English
Verified Planar Formation Control Algorithms by Composition of Primitives (AIAA 2015-1541)
British Library Conference Proceedings | 2015
|Raste algorithms for 2D primitives
TIBKAT | 1989
|Towards Composition of Verified Hardware Devices
NTIS | 1991
|