@InProceedings{LIS2,
title = {Provably Safe Robot Navigation with Obstacle Uncertainty},
author = {Brian Axelrod and Leslie Pack Kaelbling and Tomas Lozano-Perez},
year = {2018},
url = {http://lis.csail.mit.edu/pubs/axelrod-ijrr18.pdf},
booktitle = {International Journal of Robotics Research},
}