TY  - RPRT
TI  - Formal Verification of Obstacle Avoidance and Navigation of Ground Robots
AU  - Stefan Mitsch
AU  - Khalil Ghorbal
AU  - David Vogelbacher
AU  - André Platzer
PY  - 2019
DO  - 10.1177/0278364917733549
UR  - https://arxiv.org/abs/1605.00604
ID  - 1605.00604
ER  -