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).
DelftBlue Supercomputer (Phase 2)
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).