%0 Journal Article %T Provably safe robot navigation with obstacle uncertainty %A Axelrod, Brian %A Kaelbling, Leslie Pack %A Lozano-Pérez, Tomás %J The International Journal of Robotics Research %V 37 %N 13-14 %P 1760-1774 %@ 0278-3649 %D 2018-12-01 %I SAGE Publications %~ DeepDyve