Our collaboration with RPI has yielded an extended and improved version of our NeuS’25 paper: combining conformal prediction for neural perception with reachability analysis for the dynamics and control. This problem required constructing a discrete abstraction of the perception neural net, which we did with a genetic algorithm.
Citation:
- Yuang Geng*, Thomas Waite*, Trevor Turnquist, Radoslav Ivanov†, Ivan Ruchkin†.
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction. [Arxiv]
In submission to the ACM Transactions on Embedded Computing Systems (TECS), 2025. * Co-first authors. † Co-last authors.