@misc{https://doi.org/10.4121/2c221b54-a20b-4659-99d2-af4a9a114b60.v1,
  doi = {10.4121/2c221b54-a20b-4659-99d2-af4a9a114b60.v1},
  url = {},
  author = {Mathiesen, Frederik Baymler and Haesaert, Sofie and Laurenti, Luca},
  keywords = {Markov processes, Stochastic control and optimization, Embedded systems},
  title = {Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions},
  publisher = {4TU.ResearchData},
  year = {2025},
  copyright = {MIT},
}