@misc{indiciae25310020c420,
  title = {Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications},
  author = {Lars Lindemann and Dimos V. Dimarogonas},
  year = {2020},
  url = {https://arxiv.org/abs/1909.11159},
  note = {Source identifier: 1909.11159}
}