A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform. - Frederik Baymler Mathiesen; Garey Fleeman (CoRR, 2020)

Hyperverlet: A Symplectic Hypersolver for Hamiltonian Systems. - Frederik Baymler Mathiesen; Bin Yang 002; Jilin Hu (AAAI, 2022)

Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. - Frederik Baymler Mathiesen; Licio Romao; Simeon C. Calvert; Alessandro Abate; Luca Laurenti (CDC, 2023)

Safety Certification for Stochastic Systems via Neural Barrier Functions. - Frederik Baymler Mathiesen; Simeon C. Calvert; Luca Laurenti (IEEE Control. Syst. Lett., 2023)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. - Frederik Baymler Mathiesen; Morteza Lahijanian; Luca Laurenti (ADHS, 2024)

Data-Driven Permissible Safe Control with Barrier Certificates. - Rayan Mazouz; John Skovbekk; Frederik Baymler Mathiesen; Eric W. Frew; Luca Laurenti; Morteza Lahijanian (CDC, 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 (ECC, 2024)

Robustness in trajectory prediction for autonomous vehicles: a survey. - Jeroen Hagenus; Frederik Baymler Mathiesen; Julian F. Schumann; Arkady Zgonnikov (IV, 2024)

A survey on robustness in trajectory prediction for autonomous vehicles. - Jeroen Hagenus; Frederik Baymler Mathiesen; Julian Frederik Schumann; Arkady Zgonnikov (CoRR, 2024)

Piecewise Stochastic Barrier Functions. - Rayan Mazouz; Frederik Baymler Mathiesen; Luca Laurenti; Morteza Lahijanian (CoRR, 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)

Scalable control synthesis for stochastic systems via structural IMDP abstractions. - Frederik Baymler Mathiesen; Sofie Haesaert; Luca Laurenti (HSCC, 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, 2025)

Certified Neural Approximations of Nonlinear Dynamics. - Frederik Baymler Mathiesen; Nikolaus Vertovec; Francesco Fabiano; Luca Laurenti; Alessandro Abate (CoRR, 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; et al. (CoRR, 2025)