---
title: "CODECHECKs of Scalable control synthesis for stochastic systems via structural IMDP abstractions"
doi: 10.48550/arxiv.2411.11803
venues: TU Delft DCC
---




|Certificate |Report                          |Venue        |Type        |Check date |
|:-------|:--------------------------------------------------|:---------------|:---|:--------------------------|
|[2025-018](../../../certs/2025-018/)|[doi.org/10.5281/zenodo.15630442](https://doi.org/10.5281/zenodo.15630442)|[TU Delft DCC](../../../venues/institutions/tu_delft_dcc)|[Institution](../../../venues/institutions)|2025-05-28 |