Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions

Marius Kloetzer, Calin Belta. Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. IEEE Transactions on Robotics, 23(2):320-330, 2007. [doi]

Abstract

Abstract is missing.