Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions | IEEE Journals & Magazine | IEEE Xplore