@misc{indiciaed48b5cfe40c9,
  title = {Reactive Control Meets Runtime Verification: A Case Study of Navigation},
  author = {Dogan Ulus and Calin Belta},
  year = {2019},
  url = {https://arxiv.org/abs/1902.04024},
  note = {Source identifier: 1902.04024}
}