22 citations · 38 across the 12 of their papers we have counts for
3 papers · 2 filters
Peak Time-Windowed Risk Estimation of Stochastic Processes
Jared Miller, Niklas Schmid, Matteo Tacchi +2
This paper develops a method to upper-bound extreme-values of time-windowed risks for stochastic processes. Examples of such risks include the maximum average or 90% quantile of th…
Maximizing Slice-Volumes of Semialgebraic Sets using Sum-of-Squares Programming
Jared Miller, Chiara Meroni, Matteo Tacchi +1
This paper presents an algorithm to maximize the volume of an affine slice through a given semialgebraic set. This slice-volume task is formulated as an infinite-dimensional linear…
Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization
Jared Miller, Matteo Tacchi, Didier Henrion +1
This paper proposes an algorithm to calculate the maximal probability of unsafety with respect to trajectories of a stochastic process and a hazard set. The unsafe probability esti…