Safety Certification is Classification
arXiv:2605.06087v1 Announce Type: new
Abstract: 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 safety probabilities rec…