VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change. Lutz, S., Spaan, M. T., & Lukina, A. In Proceedings of the 34th International Joint Conference on Artificial Intelligence, 2025. ![VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change [link]](https://bibbase.org/img/filetypes/link.svg "link")
Github Doi bibtex 6 downloads @inproceedings{lutz2025verecycle,
title={VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change},
author={Lutz, Sterre and Spaan, Matthijs TJ and Lukina, Anna},
booktitle={Proceedings of the 34th International Joint Conference on Artificial Intelligence},
url_Github={https://github.com/SUMI-lab/VeRecycle},
url_doi={https://doi.org/10.48550/arXiv.2505.14001},
year={2025}
}
Downloads: 6
{"_id":"ZwkfF2YQLvdb5P8zP","bibbaseid":"lutz-spaan-lukina-verecyclereclaimingguaranteesfromprobabilisticcertificatesforstochasticdynamicalsystemsafterchange-2025","author_short":["Lutz, S.","Spaan, M. T.","Lukina, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","author":[{"propositions":[],"lastnames":["Lutz"],"firstnames":["Sterre"],"suffixes":[]},{"propositions":[],"lastnames":["Spaan"],"firstnames":["Matthijs","TJ"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]}],"booktitle":"Proceedings of the 34th International Joint Conference on Artificial Intelligence","url_github":"https://github.com/SUMI-lab/VeRecycle","url_doi":"https://doi.org/10.48550/arXiv.2505.14001","year":"2025","bibtex":"@inproceedings{lutz2025verecycle,\n title={VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change},\n author={Lutz, Sterre and Spaan, Matthijs TJ and Lukina, Anna},\n booktitle={Proceedings of the 34th International Joint Conference on Artificial Intelligence},\n url_Github={https://github.com/SUMI-lab/VeRecycle},\n url_doi={https://doi.org/10.48550/arXiv.2505.14001},\n year={2025}\n}\n\n","author_short":["Lutz, S.","Spaan, M. T.","Lukina, A."],"key":"lutz2025verecycle","id":"lutz2025verecycle","bibbaseid":"lutz-spaan-lukina-verecyclereclaimingguaranteesfromprobabilisticcertificatesforstochasticdynamicalsystemsafterchange-2025","role":"author","urls":{" github":"https://github.com/SUMI-lab/VeRecycle"," doi":"https://doi.org/10.48550/arXiv.2505.14001"},"metadata":{"authorlinks":{}},"downloads":6},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["zKJJFNb8JGPdNpeGG","WEznGv8jDoFee2dzG"],"keywords":[],"search_terms":["verecycle","reclaiming","guarantees","probabilistic","certificates","stochastic","dynamical","systems","change","lutz","spaan","lukina"],"title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","year":2025,"downloads":6}