TY  - RPRT
TI  - A Formal Safety Net for Waypoint Following in Ground Robots
AU  - Brandon Bohrer
AU  - Yong Kiam Tan
AU  - Stefan Mitsch
AU  - Andrew Sogokon
AU  - André Platzer
PY  - 2019
DO  - 10.1109/lra.2019.2923099
UR  - https://arxiv.org/abs/1903.05073
ID  - 1903.05073
ER  -