Bridging Dimensions: Confident Reachability for High-Dimensional
Controllers

v1v2v3v4 (latest)

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers

8 November 2023

Jake Brandon Baldauf

Souradeep Dutta

ArXiv (abs)PDF HTML

Papers citing "Bridging Dimensions: Confident Reachability for High-Dimensional Controllers"

5 / 5 papers shown

Title
Four Principles for Physically Interpretable World Models Jordan Peper Zhenjiang Mao Yuang Geng Siyuan Pan Ivan Ruchkin 381 5 0 04 Mar 2025
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS Xi Zheng Ziyang Li Ivan Ruchkin R. Piskac Miroslav Pajic 144 2 0 17 Feb 2025
Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving Zhenjiang Mao Dong-You Jhong Ao Wang Ivan Ruchkin OODD 206 2 0 02 May 2024
Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models Zhenjiang Mao Siqi Dai Yuang Geng Ivan Ruchkin 343 4 0 30 Mar 2024
Distributionally Robust Statistical Verification with Imprecise Neural NetworksInternational Conference on Hybrid Systems: Computation and Control (HSCC), 2023 Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 717 15 0 28 Aug 2023