IR
Ivan Ruchkin
cs.LGcs.ROcs.SYeess.SYcs.AIcs.LOcs.SEcs.CVcs.HCcs.FL
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Xi Zheng, Hong Jin Kang, Tevfik Bultan, Vijay Ganesh +9
1 version
Preprints & journals
34 papers in the corpus · 2012–2026Cyber-Physical Digital Factory Architecture as the Enabler of Disembodied Work2609.00195v1 · Tero Kaarlela, Ivan Ruchkin, Jose Outeiro et al.2026 · 0 citationsarXiv
: A Smooth Simulation Surrogate for Optimizing Discrete Abstractions of Dynamical Systems2608.15920v1 · Jordan Peper, James Mathias Gast, Vignesh Nanduri et al.2026 · 0 citationsarXiv
A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems2608.10254v1 · Jordan Peper, Krish Kapadia, James Gast et al.2026 · 0 citationsarXiv
Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification2606.03593v1 · Xi Zheng, Dulanga Weerakoon, Yintong Huo et al.2026 · 0 citationsarXiv
Anomaly-Informed Confidence Calibration for Vision-Based Safety Prediction2605.21109v2 · Zhenjiang Mao, Jiawen Wu, Gabriel Wagner et al.2026 · 0 citationsarXiv
Finite-Sample Analysis of Elimination in Active Hypothesis Testing2605.01039v1 · Ziyuan Lin, Hoang Ngoc Nguyen, Jie Xu et al.2026 · 0 citationsarXiv
TEACar: An Open-Source Autonomous Driving Platform2604.24934v2 · Zhongzheng Zhang, Maxwell Ruyle, Andrew Kappes et al.2026 · 0 citationsarXiv
Digital Guardians: The Past and The Future of Cyber-Physical Resilience2604.14360v1 · Saurabh Bagchi, Hyunseung Kim, Tarek Abdelzaher et al.2026 · 0 citationsarXiv
MLE-UVAD: Minimal Latent Entropy Autoencoder for Fully Unsupervised Video Anomaly Detection2603.23868v2 · Yuang Geng, Junkai Zhou, Kang Yang et al.2026 · 0 citationsarXiv
Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning2601.13387v1 · Zhenjiang Mao, Anirudhh Venkat, Artem Bisliouk et al.2026 · 1 citationarXiv
Deterministic World Models for Closed-loop Reachability Analysis of End-to-End Vision-based Control2512.08991v3 · Yuang Geng, Zhongzheng Zhang, Chengzhen Jiang et al.2025 · 0 citationsarXiv
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction2512.02893v2 · Yuang Geng, Thomas Waite, Trevor Turnquist et al.2025 · 0 citationsarXiv
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy2508.14181v1 · Jordan Peper, Yan Miao, Sayan Mitra et al.2025 · 1 citationarXiv
How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy2508.09346v3 · Zhenjiang Mao, Mrinall Eashaan Umasudhan, Ivan Ruchkin2025 · 0 citationsarXiv
Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic2506.08243v1 · Zhenjiang Mao, Artem Bisliouk, Rohith Reddy Nama et al.2025 · 3 citationsarXiv
Conservative Perception Models for Probabilistic Verification2503.18077v3 · Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky et al.2025 · 1 citationarXiv
Generalizable Image Repair for Robust Visual Control2503.05911v2 · Carson Sobolewski, Zhenjiang Mao, Kshitij Maruti Vejre et al.2025 · 0 citationsarXiv
Four Principles for Physically Interpretable World Models2503.02143v2 · Jordan Peper, Zhenjiang Mao, Yuang Geng et al.2025 · 0 citationsarXiv
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems2502.21308v2 · Thomas Waite, Yuang Geng, Trevor Turnquist et al.2025 · 2 citationsarXiv
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS2502.12267v2 · Xi Zheng, Ziyang Li, Ivan Ruchkin et al.2025 · 7 citationsFSE Companion '25: Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, Trondheim, Norway, June 2025
Physically Interpretable World Models via Weakly Supervised Representation Learning2412.12870v6 · Zhenjiang Mao, Mrinall Eashaan Umasudhan, Ivan Ruchkin2024 · 0 citationsarXiv
Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving2405.01691v1 · Zhenjiang Mao, Dong-You Jhong, Ao Wang et al.2024 · 0 citationsarXiv
Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models2404.00462v3 · Zhenjiang Mao, Siqi Dai, Yuang Geng et al.2024 · 0 citationsarXiv
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers2311.04843v4 · Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta et al.2023 · 2 citationsarXiv
Repairing Learning-Enabled Controllers While Preserving What Works2311.03477v2 · Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky et al.2023 · 3 citationsarXiv
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems2309.00543v2 · Sydney Pugh, Ivan Ruchkin, Insup Lee et al.2023 · 1 citationarXiv
Distributionally Robust Statistical Verification with Imprecise Neural Networks2308.14815v4 · Souradeep Dutta, Michele Caprio, Vivian Lin et al.2023 · 4 citationsarXiv
How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy2308.12252v4 · Zhenjiang Mao, Carson Sobolewski, Ivan Ruchkin2023 · 1 citationarXiv
Causal Repair of Learning-enabled Cyber-physical Systems2304.02813v2 · Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland et al.2023 · 4 citationsarXiv
Conservative Safety Monitors of Stochastic Dynamical Systems2301.11330v2 · Matthew Cleaveland, Oleg Sokolsky, Insup Lee et al.2023 · 5 citationsarXiv
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis2111.03781v2 · Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky et al.2021 · 8 citationsarXiv
Confidence Composition for Monitors of Verification Assumptions2111.03782v3 · Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov et al.2021 · 10 citationsarXiv
Foundations and Tools for End-User Architecting1210.4981v1 · David Garlan, Vishal Dwivedi, Ivan Ruchkin et al.2012 · 10 citationsLarge-Scale Complex IT Systems. Development, Operation and Management. Lecture Notes in Computer Science, 2012, Volume 7539/2012, 157-182
Single-window Integrated Development Environment1207.1493v1 · Ivan Ruchkin, Vladimir Prus2012 · 2 citationsarXiv
Career total: 90 works. 34 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.