{
  "source": "https://codecheck.org.uk/register/works/10.48550/arxiv.2411.11803/register.json",
  "cert_count": 1,
  "work": {
    "doi": "10.48550/arxiv.2411.11803",
    "title": "Scalable control synthesis for stochastic systems via structural IMDP abstractions",
    "openalex": "https://openalex.org/W4404571336",
    "venues": "TU Delft DCC",
    "check_count": 1,
    "authors": [
      {
        "name": "Frederik B. Mathiesen",
        "orcid": "0000-0002-2243-0445"
      },
      {
        "name": "Sofie Haesaert",
        "orcid": "0000-0003-4749-4688"
      },
      {
        "name": "Luca Laurenti",
        "orcid": "0000-0003-1190-6097"
      }
    ]
  },
  "venue_count": 1,
  "venues_per_type": {
    "institution": 1
  },
  "checks_per_type_per_year": {
    "2025": {
      "institution": 1
    }
  },
  "checks_per_year": {
    "2025": 1
  },
  "checks_cumulative": {
    "2025": 1
  },
  "venues_per_year": {
    "2025": 1
  },
  "venues_cumulative": {
    "2025": 1
  },
  "codechecker_count": 1,
  "codecheckers_per_year": {
    "2025": 1
  },
  "codecheckers_cumulative": {
    "2025": 1
  },
  "platform_per_year": {
    "2025": {
      "zenodo": 1
    }
  },
  "platform_cumulative": {
    "2025": {
      "zenodo": 1
    }
  },
  "venues_detail": [
    {
      "name": "TU Delft DCC",
      "longname": "TU Delft Digital Competence Centre",
      "year_range": "2025",
      "label": "institution",
      "cert_count": 1,
      "page_type": "institution",
      "page_type_plural": "institutions",
      "page_slug": "TU%20Delft%20DCC",
      "logo_url": "https://upload.wikimedia.org/wikipedia/de/b/b5/TU_Delft_Logo.svg",
      "website_url": "https://www.tudelft.nl/digital-competence-centre",
      "policy_url": null,
      "publisher": null
    }
  ],
  "publishers": [
    {
      "name": "unknown",
      "venue_count": 1,
      "cert_count": 1
    }
  ]
}