VeRecycle shows the maximum reusable safety probability after a localized change is min(original threshold, 1 minus 1 divided by the certificate's infimum on the changed region).
Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction meth- ods for robotics and control
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
VeRecycle shows the maximum reusable safety probability after a localized change is min(original threshold, 1 minus 1 divided by the certificate's infimum on the changed region).