@misc{indiciae820196718422,
  title = {STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems},
  author = {Yiannis Kantaros and Michael M. Zavlanos},
  year = {2020},
  url = {https://arxiv.org/abs/1809.08345},
  note = {Source identifier: 1809.08345}
}