Datasets

• Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions

Co-authors

Co-authors of Sofie Haesaert's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Frederik Baymler Mathiesen
• Luca Laurenti