0 works authored · 1 check conducted
| Certificate | Report | Work | Venue | Type | Check date |
|---|---|---|---|---|---|
| 2025-018 | doi.org/10.5281/zenodo.15630442 | Scalable control synthesis for stochastic systems via structural IMDP abstractions | TU Delft DCC | Institution | 2025-05-28 |
Some columns are hidden on small screens; rotate the device or use a wider window to see them all.