@misc{indiciae982e761cb874,
  title = {An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis},
  author = {Xusheng Luo and Yiannis Kantaros and Michael M. Zavlanos},
  year = {2021},
  url = {https://arxiv.org/abs/1909.00526},
  note = {Source identifier: 1909.00526}
}