Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order. - Vignesh Sivaramakrishnan; Rosalyn A. Devonport; Murat Arcak; Meeko M. K. Oishi (CDC, 2024)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks. - Karthik Sivaramakrishnan; Vignesh Sivaramakrishnan; Rosalyn A. Devonport; Meeko M. K. Oishi (CDC, 2024)

SAVER: A Toolbox for SAmpling-Based, Probabilistic VERification of Neural Networks. - Vignesh Sivaramakrishnan; Krishna Chaitanya Kalagarla; Rosalyn A. Devonport; Joshua Pilipovsky; Panagiotis Tsiotras; Meeko Oishi (HSCC, 2025)

Data-Driven Reachability with Scenario Optimization and the Holdout Method. - Elizabeth Dietrich; Rosalyn A. Devonport; Stephen Tu; Murat Arcak (CoRR, 2025)