Frederik Baymler Mathiesen

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

Collaborative distances:

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

2025

ARCH-COMP25 Category Report: Stochastic Models.

Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker

CoRR, June, 2025

Certified Neural Approximations of Nonlinear Dynamics.

Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano, Luca Laurenti, Alessandro Abate

CoRR, May, 2025

Realistic Adversarial Attacks for Robustness Evaluation of Trajectory Prediction Models via Future State Perturbation.

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

CoRR, May, 2025

Scalable control synthesis for stochastic systems via structural IMDP abstractions.

Frederik Baymler Mathiesen, Sofie Haesaert, Luca Laurenti

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

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

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

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

Data-Driven Permissible Safe Control with Barrier Certificates.

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

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

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

Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 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