Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis

Closed-loop failures of vision-based controllers can be systematically discovered by casting the problem as a Hamilton-Jacobi reachability analysis, blending simulation-based methods to overcome the challenge of lacking analytical models.