
F.B. (Frederik) Mathiesen
F.B. (Frederik) Mathiesen
Profiel
Projecten
Biografie
Expertise
Publicaties
-
2023
Safety Certification for Stochastic Systems via Neural Barrier Functions
Frederik Baymler Mathiesen / S.C. Calvert / L. Laurenti