1 citations · 1 across the 2 of their papers we have counts for
4 papers
Polyconvexity with Moments and Sums of Squares
Giovanni Fantuzzi, Didier Henrion, Martin Kru{ž}Ãk +2
A function of a matrix is polyconvex when it can be expressed as a convex function of the matrix minors. Polyconvexity is a regularity condition ensuring existence of minimizers in…
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…
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…
Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions
Didier Henrion, Jared Miller, Mohab Safey El Din
Two subsets of a given set are path-disconnected if they lie in different connected components of the larger set. Verification of path-disconnectedness is essential in proving the…