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 …

Peak Estimation aims to find the maximum value of a state function achieved by a dynamical
system. This problem is non-convex when considering standard Barrier and Density …