Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
arXiv:2511.14755v1 Announce Type: cross 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 uncertainty. Unfortunately, the verification of such systems remains…
