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
-
2024
IntervalMDP.jl
Accelerated Value Iteration for Interval Markov Decision Processes
Frederik Baymler Mathiesen / Morteza Lahijanian / Luca Laurenti -
2024
Robustness in trajectory prediction for autonomous vehicles
a survey
Jeroen Hagenus / Frederik Baymler Mathiesen / Julian F. Schumann / Arkady Zgonnikov -
2024
Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training
Xinyu Wang / Luzia Knoedler / Frederik Baymler Mathiesen / Javier Alonso-Mora
-
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