Frederik Baymler Mathiesen

24 papers A* 1C 1Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Evaluating randomized smoothing as a defense against adversarial attacks in trajectory prediction.
CoRR
Julian F. Schumann, Eduardo Figueiredo, Frederik Baymler Mathiesen, Luca Laurenti, Jens Kober, Arkady Zgonnikov
2026 J jnl
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis.
CoRR
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian
2025 J jnl
ARCH-COMP25 Category Report: Stochastic Models.
CoRR
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
2025 J jnl
Certified Neural Approximations of Nonlinear Dynamics.
CoRR
Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano, Luca Laurenti, Alessandro Abate
2025 J jnl
Realistic Adversarial Attacks for Robustness Evaluation of Trajectory Prediction Models via Future State Perturbation.
CoRR
Julian F. Schumann, Jeroen Hagenus, Frederik Baymler Mathiesen, Arkady Zgonnikov
2025 J jnl
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation.
CoRR
Nikolaus Vertovec, Frederik Baymler Mathiesen, Thom Badings, Luca Laurenti, Alessandro Abate
2025 — conf
Scalable control synthesis for stochastic systems via structural IMDP abstractions.
HSCC
Frederik Baymler Mathiesen, Sofie Haesaert, Luca Laurenti
2024 J jnl
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution.
CoRR
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Luca Laurenti, Alessandro Abate
2024 J jnl
A survey on robustness in trajectory prediction for autonomous vehicles.
CoRR
Jeroen Hagenus, Frederik Baymler Mathiesen, Julian Frederik Schumann, Arkady Zgonnikov
2024 — conf
Data-Driven Permissible Safe Control with Barrier Certificates.
CDC
Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian
2024 J jnl
Data-Driven Permissible Safe Control with Barrier Certificates.
CoRR
Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian
2024 — conf
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes.
ADHS
Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
2024 J jnl
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes.
CoRR
Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
2024 J jnl
Piecewise Stochastic Barrier Functions.
CoRR
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian
2024 C conf
Robustness in trajectory prediction for autonomous vehicles: a survey.
IV
Jeroen Hagenus, Frederik Baymler Mathiesen, Julian F. Schumann, Arkady Zgonnikov
2024 J jnl
Scalable control synthesis for stochastic systems via structural IMDP abstractions.
CoRR
Frederik Baymler Mathiesen, Sofie Haesaert, Luca Laurenti
2024 — conf
Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training.
ECC
Xinyu Wang, Luzia Knödler, Frederik Baymler Mathiesen, Javier Alonso-Mora
2023 — conf
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design.
CDC
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti
2023 J jnl
Inner approximations of stochastic programs for data-driven stochastic barrier function design.
CoRR
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti
2023 J jnl
Safety Certification for Stochastic Systems via Neural Barrier Functions.
IEEE Control. Syst. Lett.
Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti
2023 J jnl
Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training.
CoRR
Xinyu Wang, Luzia Knödler, Frederik Baymler Mathiesen, Javier Alonso-Mora
2022 A* conf
Hyperverlet: A Symplectic Hypersolver for Hamiltonian Systems.
AAAI
Frederik Baymler Mathiesen, Bin Yang, Jilin Hu
2022 J jnl
Safety Certification for Stochastic Systems via Neural Barrier Functions.
CoRR
Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti
2020 J jnl
A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform.
CoRR
Frederik Baymler Mathiesen, Garey Fleeman