• Numerical and Computational Mathematics
• Computation Theory and Mathematics
• Artificial Intelligence and Image Processing
• Mathematical Sciences
• Information and Computing Sciences

Datasets

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

Co-authors

Co-authors of Frederik Baymler Mathiesen's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Luca Laurenti
• Sofie Haesaert