1 work authored · 0 checks conducted

Affiliations: Eindhoven University of Technology

Works authored (1)

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

Checks conducted (0)

No checks conducted yet.

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.