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 recursively via dynamic programming (DP). This...