Formal verification of obstacle avoidance and navigation of ground robots. - Stefan Mitsch; Khalil Ghorbal; David Vogelbacher; André Platzer (Int. J. Robotics Res., 2017)