[
  {
    "Certificate ID": "2025-018",
    "Certificate Link": "https://codecheck.org.uk/register/certs/2025-018/",
    "Certificate PDF": "https://zenodo.org/api/records/15630442/files/CODECHECK_report_FBM.pdf/content",
    "Repository": "github::codecheckers/certificate-2025-018",
    "Repository Link": "https://github.com/codecheckers/certificate-2025-018",
    "Report": "https://doi.org/10.5281/zenodo.15630442",
    "Title": "Scalable control synthesis for stochastic systems via structural IMDP abstractions",
    "Paper reference": "https://doi.org/10.48550/arXiv.2411.11803",
    "OpenAlex": "https://openalex.org/W4404571336",
    "Type": "institution",
    "Venue": "TU Delft DCC",
    "Check date": "2025-05-28",
    "Role": "codechecker"
  }
]