Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis

ArXi:2511.14755v2 Announce Type: replace-cross As perception-based controllers for autonomous systems become increasingly popular in the real world, it is important that we can formally verify their safety and performance despite perceptual uncertainty. Unfortunately, the verification of such systems remains challenging, largely due to the complexity of the controllers, which are often nonlinear, nonconvex, learning-based, and/or black-box.