Lutz et al. "VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems After Change." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/52
Markdown
[Lutz et al. "VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems After Change." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/lutz2025ijcai-verecycle/) doi:10.24963/IJCAI.2025/52
BibTeX
@inproceedings{lutz2025ijcai-verecycle,
title = {{VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems After Change}},
author = {Lutz, Sterre and Spaan, Matthijs T. J. and Lukina, Anna},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {457-465},
doi = {10.24963/IJCAI.2025/52},
url = {https://mlanthology.org/ijcai/2025/lutz2025ijcai-verecycle/}
}