@misc{indiciaed98c9a2382c7,
  title = {A Formal Safety Net for Waypoint Following in Ground Robots},
  author = {Brandon Bohrer and Yong Kiam Tan and Stefan Mitsch and Andrew Sogokon and André Platzer},
  year = {2019},
  doi = {10.1109/lra.2019.2923099},
  url = {https://arxiv.org/abs/1903.05073},
  note = {Source identifier: 1903.05073}
}