An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments.