Author

Ivan Ruchkin

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

$S^3$: A Smooth Simulation Surrogate for Optimizing Discrete Abstractions of Dynamical Systems

Intelligent systems are increasingly deployed in safety-critical settings with black-box controllers, including neural networks. The properties and behaviors of these end-to-end systems can be studied with abstraction-based methods that replace them with simpler finite models. Constructing such abstractions requires ba...

Jordan Peper, James Mathias Gast, Vignesh Nanduri et al. · 0 citations

Review Aug 2026

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems

This tutorial presents a pragmatic, conservative-by-construction workflow for building discrete abstractions of closed-loop dynamical systems and demonstrates the end-to-end pipeline on three case studies and reports how design choices affect abstraction structure, runtime, and verification outcomes.

Jordan Peper, Krish Kapadia, James P. Gast et al. · 0 citations