Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions
A Comprehensive Introduction to Differential Geometry.