0 works authored · 1 check conducted

1 check ▸ institution: 1 (100%)

Works authored (0)

No authored works with a DOI-identified check yet.

Checks conducted (1)

Certificate Report Work 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

JSON

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

© 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.