Guaranteed-Safe Approximate Reachability via State Dependency-Based Decomposition

Anjian Li, Mo Chen

Hamilton Jacobi (HJ) Reachability is a formal verification tool widely used in robotic safety analysis. Given a target set as unsafe states, a dynamical system is guaranteed not to…