Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability. - Anjian Li; Somil Bansal; Georgios Giovanis; Varun Tolani; Claire J. Tomlin; Mo Chen 001 (L4DC, 2020)