On provably safe obstacle avoidance for autonomous robotic ground vehicles

@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', 'Khalil Ghorbal', 'André Platzer']},
	title = {On Provably Safe Obstacle Avoidance for
               Autonomous Robotic Ground Vehicles},
	booktitle = {Robotics: Science and Systems},
	year = {2013},
	editor = {['Paul Newman', 'Dieter Fox', 'David Hsu']},
	longbooktitle = {Robotics: Science and Systems IX,
               Technische Universität Berlin,
               Berlin, Germany, June 24 - June 28,
               2013},
	isbn = {978-981-07-3937-9},
	doi = {10.15607/RSS.2013.IX.014}
}