3 papers
eess.SY2026
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
Yuang Geng, Thomas Waite, Trevor Turnquist +2
Reachability analysis has been a prominent way to provide safety guarantees for neurally controlled autonomous systems, but its direct application to neural perception components i…
eess.SY2026
Verification of Autonomous Systems with Optimal Controllers
Dylan Le, Joel McCandless, Carlos Varela +1
This paper considers the problem of reachability analysis of control systems with optimal controllers, as a first step towards verifying the safety and correctness of such systems.…
eess.SY2025
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
Thomas Waite, Yuang Geng, Trevor Turnquist +2
It remains a challenge to provide safety guarantees for autonomous systems with neural perception and control. A typical approach obtains symbolic bounds on perception error (e.g.,…