activity
20192023
most citedGenerating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability

7 citations · 10 across the 5 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2019

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…