Checks Venues Works People Organisations Statistics About

1. CODECHECK Register

CODECHECKs of Scalable control synthesis for stochastic systems via structural IMDP abstractions

• DOI: 10.48550/arxiv.2411.11803
• Authors: Frederik B. Mathiesen, Sofie Haesaert, Luca Laurenti
• Venue: TU Delft DCC
• Checked: 1 time on 2025-05-28

Certificate	Report	Venue	Type	Check date
2025-018	doi.org/10.5281/zenodo.15630442	TU Delft DCC	Institution	2025-05-28

JSON | Markdown

---

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

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

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