Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. - Yuang Geng; Souradeep Dutta; Ivan Ruchkin (CoRR, 2023)

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. - Yuang Geng; Jake Brandon Baldauf; Souradeep Dutta; Chao Huang 015; Ivan Ruchkin (FM (1), 2024)

Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models. - Zhenjiang Mao; Siqi Dai; Yuang Geng; Ivan Ruchkin (CoRR, 2024)

Four Principles for Physically Interpretable World Models. - Jordan Peper; Zhenjiang Mao; Yuang Geng; Siyuan Pan; Ivan Ruchkin (NeuS, 2025)

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