![](https://filelist.tudelft.nl/_processed_/c/1/csm_z3m0a5_79f8bb7be9.jpg)
F.B. (Frederik) Mathiesen
F.B. (Frederik) Mathiesen
Profiel
Projecten
Biografie
Expertise
Publicaties
-
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
-
Nevenwerkzaamheden
-
2021-07-15 - 2026-07-15