@misc{indiciae6a00a1a37a8a,
  title = {Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization},
  author = {Alphan Ulusoy and Stephen L. Smith and Calin Belta},
  year = {2012},
  url = {https://arxiv.org/abs/1207.2415},
  note = {Source identifier: 1207.2415}
}