Codechecks by Niket Agrawal (0000-0002-3208-3440)
| Certificate | Paper Title | Type | Venue | Issue | Report | Check date |
|---|---|---|---|---|---|---|
| 2025-018 | Scalable control synthesis for stochastic systems via structural IMDP abstractions | Institution | TU Delft DCC | 167 | https://doi.org/10.5281/zenodo.15630442 | 2025-05-28 |
CSV source | searchable CSV | JSON | Markdown
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.