A Formal Safety Net for Waypoint-Following in Ground Robots

Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer. A Formal Safety Net for Waypoint-Following in Ground Robots. IEEE Robotics and Automation Letters, 4(3):2910-2917, 2019. [doi]

Abstract

Abstract is missing.