TY  - RPRT
TI  - VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
AU  - Sterre Lutz
AU  - Matthijs T. J. Spaan
AU  - Anna Lukina
PY  - 2025
UR  - https://arxiv.org/abs/2505.14001
ID  - 2505.14001
ER  -