Stanford AA228V I Validation of Safety Critical Systems I Reachability for Nonlinear Systems
Stanford Online · 73:57
Over-approximating reachable sets (via support vectors, LazySets, or linear programs) preserves safety claims when the over-approx misses the avoid set, but intersection is inconclusive; for nonlinear systems you cann...