Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer. Formal verification of obstacle avoidance and navigation of ground robots. I. J. Robotic Res., 36(12):1312-1340, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.