1 citations · 2 across the 9 of their papers we have counts for
3 papers · 1 filter
Efficient Uncertainty Propagation with Guarantees in Wasserstein Distance
Eduardo Figueiredo, Steven Adams, Peyman Mohajerin Esfahani +1
In this paper, we consider the problem of propagating an uncertain distribution by a possibly non-linear function and quantifying the resulting uncertainty. We measure the uncertai…
Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
Steven Adams, Eduardo Figueiredo, Luca Laurenti
In this paper, we consider discrete-time non-linear stochastic dynamical systems with additive process noise in which both the initial state and noise distributions are uncertain.…
Formal Control Synthesis for Stochastic Neural Network Dynamic Models
Steven Adams, Morteza Lahijanian, Luca Laurenti
Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, howeve…