@misc{indiciaead8bbf383552,
  title = {Motion and Cooperative Transportation Planning for Multi-Agent Systems under Temporal Logic Formulas},
  author = {Christos K. Verginis and Dimos V. Dimarogonas},
  year = {2018},
  url = {https://arxiv.org/abs/1803.01579},
  note = {Source identifier: 1803.01579}
}