@InProceedings{LIS1,
title = {Provably Safe Robot Navigation with Obstacle Uncertainty},
author = {Brian Axelrod and Leslie Pack Kaelbling and Tomas Lozano-Perez},
year = {2017},
url = {http://lis.csail.mit.edu/pubs/axelrod-rss-17.pdf},
booktitle = {Robotics: Science and Systems (RSS)},
}