Cyclic-routing of Unmanned Aerial Vehicles☆
Under an Elsevier user license
open archive
Keywords
Motion planning
Computational complexity
Model checking
Cited by (0)
- ☆
Part of this work appeared in the Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (2015), and in the Proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (2016). Joël Ouaknine was supported by ERC grant AVS-ISS (648701), and by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) — Projektnummer 389792660 — TRR 248.
© 2019 Published by Elsevier Inc.