Frederik Baymler Mathiesen

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Stochastic Systems

Markov Decision Process

Autonomous Vehicles

Top Venues

IEEE Control. Syst. Lett.

Publications

Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian
Data-Driven Permissible Safe Control with Barrier Certificates. CoRR (2024)
Jeroen Hagenus, Frederik Baymler Mathiesen, Julian F. Schumann, Arkady Zgonnikov
Robustness in trajectory prediction for autonomous vehicles: a survey. IV (2024)
Xinyu Wang, Luzia Knödler, Frederik Baymler Mathiesen, Javier Alonso-Mora
Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training. ECC (2024)
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian
Piecewise Stochastic Barrier Functions. CoRR (2024)
Jeroen Hagenus, Frederik Baymler Mathiesen, Julian Frederik Schumann, Arkady Zgonnikov
A survey on robustness in trajectory prediction for autonomous vehicles. CoRR (2024)
Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. CoRR (2024)
Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti
Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR (2023)
Xinyu Wang, Luzia Knödler, Frederik Baymler Mathiesen, Javier Alonso-Mora
Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training. CoRR (2023)
Frederik Baymler Mathiesen, Simeon Craig Calvert, Luca Laurenti
Safety Certification for Stochastic Systems via Neural Barrier Functions. IEEE Control. Syst. Lett. 7 (2023)
Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. CDC (2023)
Frederik Baymler Mathiesen, Simeon Calvert, Luca Laurenti
Safety Certification for Stochastic Systems via Neural Barrier Functions. CoRR (2022)
Frederik Baymler Mathiesen, Bin Yang, Jilin Hu
Hyperverlet: A Symplectic Hypersolver for Hamiltonian Systems. AAAI (2022)
Frederik Baymler Mathiesen, Garey Fleeman
A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform. CoRR (2020)