https://rvl.cs.toronto.edu/backwards-reachability/ Backwards Reachability: A Tutorial Using reachability analysis to compute safety guarantees for safety critical dynamic systems. rvl.cs.toronto.edu http://sylviaherbert.com/reachability-decomposition Reachability Decomposition — The Safe Autonomous Systems Lab Hamilton Jacobi (HJ) reachability allows us to take the physical dynamics of a system and construct a set that describes all all initial states from which the system can achieve a goal (or...