Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions
Modeling and control of formations of nonholonomic mobile robots