@INPROCEEDINGS{DBLP:conf/rss/MitschGP13,
pdf = {pub/robix.pdf},
slides = {pub/robix-slides.pdf},
ref = {DBLP:journals/ijrr/MitschGVP17},
refname = {IJRR'17},
study = {pub/robix-examples.zip},
author = {Stefan Mitsch and
Khalil Ghorbal and
Andr{\'e} Platzer},
title = {On Provably Safe Obstacle Avoidance for
Autonomous Robotic Ground Vehicles},
booktitle = {Robotics: Science and Systems},
year = {2013},
editor = {Paul Newman and
Dieter Fox and
David Hsu},
longbooktitle = {Robotics: Science and Systems IX,
Technische Universit{\"a}t Berlin,
Berlin, Germany, June 24 - June 28,
2013},
isbn = {978-981-07-3937-9},
doi = {10.15607/RSS.2013.IX.014},
}```