F.B. (Frederik) Mathiesen
F.B. (Frederik) Mathiesen
Profile
Projects
- Safety Certification for Stochastic Systems via Neural Barrier Functions (2022)
- Hyperverlet: A Symplectic Hypersolver for Hamiltonian Systems (2022)
Biography
Frederik Baymler Mathiesen is a PhD student of the HERALD AI lab at TU Delft. His expertise is verification of stochastic systems and stochastic modeling of human behavior, primarily with autonomous vehicles as the application domain. Frederik finished his master's in computer science from Aalborg University in 2021. In his past time, he enjoys long walks to explore cities.
Expertise
Publications
-
2023
Inner approximations of stochastic programs for data-driven stochastic barrier function design
Frederik Baymler Mathiesen / Licio Romao / Simeon C. Calvert / Alessandro Abate / Luca Laurenti
-
2023
Safety Certification for Stochastic Systems via Neural Barrier Functions
Frederik Baymler Mathiesen / S.C. Calvert / L. Laurenti
-
Ancillary activities
-
2021-07-15 - 2026-07-15
-
2021-07-15 - 2026-07-15