activity
20192026
most citedFast, Convexified Stochastic Optimal Open-Loop Control For Linear Systems Using Empirical Characteristic Functions

3 citations · 6 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.LG2024

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks

Vignesh Sivaramakrishnan, Krishna C. Kalagarla, Rosalyn Devonport +3

We present a neural network verification toolbox to 1) assess the probability of satisfaction of a constraint, and 2) synthesize a set expansion factor to achieve the probability o…

eess.SY2024

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order

Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak +1

We present a method to overapproximate forward stochastic reach sets of discrete-time, stochastic nonlinear systems with interval geometry. This is made possible by extending the t…