1 paper · 1 filter
Oliver Schön, Licio Romao, Sadegh Soudjani
The goal of this paper is certifying safety of dynamical systems subject to uncertainty. Existing approaches use trajectory data to estimate transition probabilities, and compute s…