@misc{indiciaee3a86d23e7fb,
  title = {Time-Optimal Navigation in Uncertain Environments with High-Level Specifications},
  author = {Ugo Rosolia and Mohamadreza Ahmadi and Richard M. Murray and Aaron D. Ames},
  year = {2021},
  url = {https://arxiv.org/abs/2103.01476},
  note = {Source identifier: 2103.01476}
}