Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning
AIAA Guidance, Navigation and Control Conference and Exhibit
01.01.2008
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 2008
|