80 citations · 82 across the 6 of their papers we have counts for
1 paper · 2 filters
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…