Data-Driven Modeling and Verification of Perception-Based Autonomous Systems. - Thomas Waite; Alexander Robey; Hamed Hassani; George J. Pappas; Radoslav Ivanov (CoRR, 2023)

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems. - Thomas Waite; Yuang Geng; Trevor Turnquist; Ivan Ruchkin; Radoslav Ivanov (NeuS, 2025)