Certificate Report Paper Title Venue Type Check date
2025-018 doi.org/10.5281/zenodo.15630442 Scalable control synthesis for stochastic systems via structural IMDP abstractions TU Delft DCC Institution 2025-05-28

CSV source | searchable CSV | JSON | Markdown

https://codecheck.org.uk/ | codecheckers | Zenodo Community

© team@cdchck.science | Published under CC BY-SA 4.0

DOI of Zenodo Deposit

CODECHECK is a process for independent execution of computations underlying scholarly research articles.