Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications

Marius Kloetzer, Calin Belta. Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications. IEEE Transactions on Robotics, 26(1):48-61, 2010. [doi]

Abstract

Abstract is missing.