State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
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., using conformal prediction) and performs verification under these bounds. However, these bounds can lead to drastic conservatism in the resulting end-to-end safety guarantee. This paper proposes an approach to synthesize symbolic perception error bounds that serve as an optimal interface between perception performance and control verification. The key idea is to consider our error bounds to be heteroskedastic with respect to the system's state -- not time like in previous approaches. These bounds can be obtained with two gradient-free optimization algorithms. We demonstrate that our bounds lead to tighter safety guarantees than the state-of-the-art in a case study on a mountain car.
Code (0)
등록된 구현이 없습니다.
Tasks
Conformal PredictionSimilar Papers 제목 키워드 기반
Formation-Aware Adaptive Conformalized Perception for Safe Leader-Follower Multi-Robot Systems
This paper considers the perception safety problem in distributed vision-based leader-follower formations, where each robot uses onboard perception to estimate relative states, track desired setpoints, and keep the leade…
Conformalized Survival Analysis
Existing survival analysis techniques heavily rely on strong modelling assumptions and are, therefore, prone to model misspecification errors. In this paper, we develop an inferential method based on ideas from conformal…
Conformal PredictionPrediction IntervalsSurvival AnalysisSurvival Prediction+1Distribution free uncertainty quantification in neuroscience-inspired deep operators
Energy-efficient deep learning algorithms are essential for a sustainable future and feasible edge computing setups. Spiking neural networks (SNNs), inspired from neuroscience, are a positive step in the direction of ach…
Conformal PredictionEdge-computingSuper-ResolutionUncertainty QuantificationSafe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction
We consider perception-based control using state estimates that are obtained from high-dimensional sensor measurements via learning-enabled perception maps. However, these perception maps are not perfect and result in st…
Conformal PredictionState EstimationvalidLearning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning
Reliable navigation in safety-critical environments requires both accurate hazard perception and principled uncertainty handling to strengthen downstream safety handling. Despite the effectiveness of existing approaches,…
Reinforcement LearningSemantic Segmentation