Optimal multi-robot path planning with LTL constraints: Guaranteeing correctness through synchronization. (2012)

by A Ulusoy, S L Smith, C Belta
Venue:In Intl. Symp. on Distributed and Autonomous Robotic Systems,