"On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles."

Stefan Mitsch, Khalil Ghorbal, André Platzer (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics