ARCH-COMP18 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Sofie Haesaert; Arnd Hartmanns; Kendra Lesser; Meeko Oishi; Vignesh Sivaramakrishnan; Sadegh Soudjani; Cristian Ioan Vasile; Abraham P. Vinod (ARCH@ADHS, 2018)

Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints. - Abraham P. Vinod; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (ACC, 2019)

Predicting Mode Confusion Through Mixed Integer Linear Programming. - Vignesh Sivaramakrishnan; Omanshu Thapliyal; Abraham P. Vinod; Meeko Oishi; Inseok Hwang 002 (CDC, 2019)

Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. - Abraham P. Vinod; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (SNR, 2019)

Stochastic Reachability for Systems up to a Million Dimensions. - Adam J. Thorpe; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (CoRR, 2019)

Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems. - Vignesh Sivaramakrishnan; Abraham P. Vinod; Meeko M. K. Oishi (CoRR, 2020)

Fast, Convexified Stochastic Optimal Open-Loop Control for Linear Systems Using Empirical Characteristic Functions. - Vignesh Sivaramakrishnan; Meeko M. K. Oishi (IEEE Control. Syst. Lett., 2020)

Stochastic multi-satellite maneuvering with constraints in an elliptical orbit. - Shawn Priore; Abraham P. Vinod; Vignesh Sivaramakrishnan; Christopher Petersen; Meeko Oishi (ACC, 2021)

Approximate Stochastic Reachability for High Dimensional Systems. - Adam J. Thorpe; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (ACC, 2021)

Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions. - Vignesh Sivaramakrishnan; Joshua Pilipovsky; Meeko Oishi; Panagiotis Tsiotras (ACC, 2022)

Probabilistic Verification of ReLU Neural Networks via Characteristic Functions. - Joshua Pilipovsky; Vignesh Sivaramakrishnan; Meeko Oishi; Panagiotis Tsiotras (L4DC, 2023)

Stochastic Reachability of Discrete-Time Stochastic Systems via Probability Measures. - Karthik Sivaramakrishnan; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (CoRR, 2023)

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)

Convexified Open-Loop Stochastic Optimal Control for Linear Systems With Log-Concave Disturbances. - Vignesh Sivaramakrishnan; Abraham P. Vinod; Meeko M. K. Oishi (IEEE Trans. Autom. Control., 2024)

Trade-Offs in On-Orbit Inspection of a Stochastic, Tumbling Satellite. - Karthik Sivaramakrishnan; Vignesh Sivaramakrishnan; Steven Cutlip; Meeko Oishi (ACC, 2025)

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)