Frederik Baymler Mathiesen

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

Collaborative distances:

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

2024

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution.

Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Luca Laurenti, Alessandro Abate

CoRR, 2024

Data-Driven Permissible Safe Control with Barrier Certificates.

Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian

CoRR, 2024

Piecewise Stochastic Barrier Functions.

Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian

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

Robustness in trajectory prediction for autonomous vehicles: a survey.

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

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

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

Proceedings of the European Control Conference, 2024

2023

Safety Certification for Stochastic Systems via Neural Barrier Functions.

Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti

IEEE Control. Syst. Lett., 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