Showing eess.SYShow all
3 papers · 1 filter
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.SY2025
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
Jordan Peper, Yan Miao, Sayan Mitra +1
Precise and comprehensive situational awareness is a critical capability of modern autonomous systems. Deep neural networks that perceive task-critical details from rich sensory si…
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.,…