Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
arXiv:2511.14755v2 Announce Type: replace
Abstract: 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 uncer…