Log in
About your Data
Getting started
Manage & Share
Publish & Cite
Find & Re-use
Scientific Visualisation
NetCDF & OPeNDAP
FAIR Data Fund
About 4TU.ResearchData
Organisation
Collaboration
Policies & Guidelines
Team & Contact
Frequently Asked Questions
About our Community
Join our community
Community members
Community groups
News & Resources
Latest news
Events
Highlights
Use cases
Fair Data Fund stories
Subscribe to our newsletter
Log in & Upload Data
About Log in / Sign up
Log in (Data Repository)
Log in (Community)
location
Delft, the Netherlands
website
https://www.baymler.com/
categories
Numerical and Computational Mathematics
Computation Theory and Mathematics
Artificial Intelligence and Image Processing
Mathematical Sciences
Information and Computing Sciences
Frederik Baymler Mathiesen
0000-0002-2243-0445
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