Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning
AIAA Guidance, Navigation and Control Conference and Exhibit
2008-01-01
Conference paper
Electronic Resource
English
British Library Conference Proceedings | 2008
|