@misc{indiciae179178f58cbb,
  title = {Provably Safe Robot Navigation with Obstacle Uncertainty},
  author = {Brian Axelrod and Leslie Pack Kaelbling and Tomás Lozano-Pérez},
  year = {2017},
  url = {https://arxiv.org/abs/1705.10907},
  note = {Source identifier: 1705.10907}
}