Hamilton-Jacobi Multi-Time Reachability. - Manan Doshi; Manmeet Bhabra; Marius Wiggert; Claire J. Tomlin; Pierre F. J. Lermusiaux (CDC, 2022)