Frederik Baymler Mathiesen

According to our database, Frederik Baymler Mathiesen authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A survey on robustness in trajectory prediction for autonomous vehicles.

Jeroen Hagenus, Frederik Baymler Mathiesen, Julian Frederik Schumann, Arkady Zgonnikov

CoRR, 2024

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes.

Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti

CoRR, 2024

2023

Safety Certification for Stochastic Systems via Neural Barrier Functions.

Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti

IEEE Control. Syst. Lett., 2023

Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training.

Xinyu Wang, Luzia Knödler, Frederik Baymler Mathiesen, Javier Alonso-Mora

CoRR, 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

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Hyperverlet: A Symplectic Hypersolver for Hamiltonian Systems.

Frederik Baymler Mathiesen, Bin Yang, Jilin Hu

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform.

Frederik Baymler Mathiesen, Garey Fleeman

CoRR, 2020