Visible to the public An Efficient Reachability-Based Framework for Provably Safe Navigation in Novel Environments