@misc{indiciaec3a4c14afd0d,
  title = {Multi-agent Motion Planning from Signal Temporal Logic Specifications},
  author = {Dawei Sun and Jingkai Chen and Sayan Mitra and Chuchu Fan},
  year = {2022},
  url = {https://arxiv.org/abs/2201.05247},
  note = {Source identifier: 2201.05247}
}