TY - RPRT TI - An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments AU - Andrea Bajcsy AU - Somil Bansal AU - Eli Bronstein AU - Varun Tolani AU - Claire J. Tomlin PY - 2019 UR - https://arxiv.org/abs/1905.00532 ID - 1905.00532 ER -