Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability. - Sylvia L. Herbert; Jason J. Choi; Suvansh Qazi; Marsalis T. Gibson; Koushil Sreenath; Claire J. Tomlin (CoRR, 2021)