CODECHECK Certificate 2025-018
Paper details
Title: Scalable control synthesis for stochastic systems via structural IMDP abstractions
Authors: Frederik B. Mathiesen, Sofie Haesaert, Luca Laurenti
Abstract: Obtained from abstractsource
Codecheck details
Certificate identifier: 2025-018
Codechecker name: Niket Agrawal
Time of codecheck: 2025-05-28 10:00:00
Repository: https://github.com/codecheckers/certificate-2025-018
Codecheck report: https://doi.org/10.5281/zenodo.15630442
Summary:
Tables 2, 3, and 4, as well as Figures 4 and 5 from the manuscript, were successfully reproduced by following the instructions provided in the README file. Instructions were only available for reproducing these specific tables and figures. To avoid the lengthy execution time required to run the full experiments, the pre-computed results provided in the repository were used to generate the tables and figures, as recommended in the README.
https://codecheck.org.uk/ | codecheckers
Published under CC BY-SA 4.0
CODECHECK is a process for independent execution of computations underlying scholarly research articles.