TY - RPRT TI - Provably Safe Robot Navigation with Obstacle Uncertainty AU - Brian Axelrod AU - Leslie Pack Kaelbling AU - Tomás Lozano-Pérez PY - 2017 UR - https://arxiv.org/abs/1705.10907 ID - 1705.10907 ER -