publications

2026

1. Automatica

   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, and 2 more authors

   Automatica, 2026

   Accepted

   arXiv Bib

   @article{mathiesen2026datadriven,
     title = {A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution},
     author = {Mathiesen, Frederik Baymler and Romao, Licio and Calvert, Simeon C. and Laurenti, Luca and Abate, Alessandro},
     journal = {Automatica},
     year = {2026},
     note = {Accepted},
   }

2. Automatica

   Piecewise Stochastic Barrier Functions

   Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, and 1 more author

   Automatica, 2026

   Accepted

   arXiv Bib Code

   @article{mazouz2026piecewise,
     title = {Piecewise Stochastic Barrier Functions},
     author = {Mazouz, Rayan and Mathiesen, Frederik Baymler and Laurenti, Luca and Lahijanian, Morteza},
     journal = {Automatica},
     year = {2026},
     note = {Accepted},
   }

3. JATS

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

   Julian F. Schumann, Jonas Hagenus, Frederik Baymler Mathiesen, and 1 more author

   Journal on Autonomous Transportation Systems, 2026

   Bib Code

   @article{schumann2026realistic,
     title = {Realistic Adversarial Attacks for Robustness Evaluation of Trajectory Prediction Models via Future State Perturbation},
     author = {Schumann, Julian F. and Hagenus, Jonas and Mathiesen, Frederik Baymler and Zgonnikov, Arkady},
     journal = {Journal on Autonomous Transportation Systems},
     year = {2026}
   }

4. L4DC

   Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation

   Nikolaj Vertovec, Frederik Baymler Mathiesen, Thom Badings, and 2 more authors

   In Proceedings of the 8th Annual Learning for Dynamics and Control Conference, 2026

   Accepted

   arXiv Bib

   @inproceedings{vertovec2026scalable,
     title = {Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation},
     author = {Vertovec, Nikolaj and Mathiesen, Frederik Baymler and Badings, Thom and Laurenti, Luca and Abate, Alessandro},
     booktitle = {Proceedings of the 8th Annual Learning for Dynamics and Control Conference},
     year = {2026},
     note = {Accepted},
   }

5. SAIV

   Certified Neural Approximations of Nonlinear Dynamics

   Frederik Baymler Mathiesen, Nikolaj Vertovec, Francesco Fabiano, and 2 more authors

   In Symposium on AI Verification, 2026

   Accepted

   arXiv Bib Code

   @inproceedings{mathiesen2025certified,
     title = {Certified Neural Approximations of Nonlinear Dynamics},
     author = {Mathiesen, Frederik Baymler and Vertovec, Nikolaj and Fabiano, Francesco and Laurenti, Luca and Abate, Alessandro},
     booktitle = {Symposium on AI Verification},
     year = {2026},
     note = {Accepted}
   }

2025

1. HSCC

   Scalable control synthesis for stochastic systems via structural IMDP abstractions

   Frederik Baymler Mathiesen, Sofie Haesaert, and Luca Laurenti

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

   DOI arXiv Bib Code

   @inproceedings{mathiesen2025scalable,
     title = {Scalable control synthesis for stochastic systems via structural {IMDP} abstractions},
     author = {Mathiesen, Frederik Baymler and Haesaert, Sofie and Laurenti, Luca},
     booktitle = {Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)},
     pages = {1--12},
     year = {2025},
     doi = {10.1145/3716863.3718031},
   }

2024

1. CDC

   Data-driven permissible safe control with barrier certificates

   Rayan Mazouz, Jonas Skovbekk, Frederik Baymler Mathiesen, and 3 more authors

   In 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024

   DOI Bib

   @inproceedings{mazouz2024data,
     title = {Data-driven permissible safe control with barrier certificates},
     author = {Mazouz, Rayan and Skovbekk, Jonas and Mathiesen, Frederik Baymler and Frew, Eric and Laurenti, Luca and Lahijanian, Morteza},
     booktitle = {2024 IEEE 63rd Conference on Decision and Control (CDC)},
     pages = {6844--6849},
     year = {2024},
     doi = {10.1109/CDC56724.2024.10886850},
     organization = {IEEE}
   }

2. ECC

   Simultaneous synthesis and verification of neural control barrier functions through branch-and-bound verification-in-the-loop training

   Xinyu Wang, Luzia Knoedler, Frederik Baymler Mathiesen, and 1 more author

   In 2024 European Control Conference (ECC), 2024

   DOI Bib

   @inproceedings{wang2024simultaneous,
     title = {Simultaneous synthesis and verification of neural control barrier functions through branch-and-bound verification-in-the-loop training},
     author = {Wang, Xinyu and Knoedler, Luzia and Mathiesen, Frederik Baymler and Alonso-Mora, Javier},
     booktitle = {2024 European Control Conference (ECC)},
     pages = {571--578},
     year = {2024},
     doi = {10.23919/ECC64448.2024.10591251},
     organization = {IEEE}
   }

3. IV

   Robustness in trajectory prediction for autonomous vehicles: a survey

   Jonas Hagenus, Frederik Baymler Mathiesen, Julian F. Schumann, and 1 more author

   In 2024 IEEE Intelligent Vehicles Symposium (IV), 2024

   DOI Bib Code

   @inproceedings{hagenus2024robustness,
     title = {Robustness in trajectory prediction for autonomous vehicles: a survey},
     author = {Hagenus, Jonas and Mathiesen, Frederik Baymler and Schumann, Julian F. and Zgonnikov, Arkady},
     booktitle = {2024 IEEE Intelligent Vehicles Symposium (IV)},
     pages = {969--976},
     year = {2024},
     doi = {10.1109/IV55156.2024.10588389},
     organization = {IEEE}
   }

4. ADHS

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

   Frederik Baymler Mathiesen, Morteza Lahijanian, and Luca Laurenti

   In 2024 Analysis and Design of Hybrid Systems (ADHS), 2024

   Young Author Award Finalist DOI Bib Code

   Young Author Award Finalist

   @inproceedings{mathiesen2024intervalmDP,
     title = {{IntervalMDP.jl}: Accelerated Value Iteration for Interval Markov Decision Processes},
     author = {Mathiesen, Frederik Baymler and Lahijanian, Morteza and Laurenti, Luca},
     booktitle = {2024 Analysis and Design of Hybrid Systems (ADHS)},
     year = {2024},
     doi = {10.1016/j.ifacol.2024.07.416},
     publisher = {IFAC},
   }

2023

1. CDC

   Inner approximations of stochastic programs for data-driven stochastic barrier function design

   Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, and 2 more authors

   In 2023 62nd IEEE Conference on Decision and Control (CDC), 2023

   DOI Bib

   @inproceedings{mathiesen2023inner,
     title = {Inner approximations of stochastic programs for data-driven stochastic barrier function design},
     author = {Mathiesen, Frederik Baymler and Romao, Licio and Calvert, Simeon C. and Abate, Alessandro and Laurenti, Luca},
     booktitle = {2023 62nd IEEE Conference on Decision and Control (CDC)},
     pages = {3073--3080},
     year = {2023},
     doi = {10.1109/CDC49753.2023.10383306},
     organization = {IEEE}
   }

2022

1. L-CSS

   Safety certification for stochastic systems via neural barrier functions

   Frederik Baymler Mathiesen, Simeon C. Calvert, and Luca Laurenti

   IEEE Control Systems Letters, 2022

   DOI Bib Code

   @article{mathiesen2022safety,
     title = {Safety certification for stochastic systems via neural barrier functions},
     author = {Mathiesen, Frederik Baymler and Calvert, Simeon C. and Laurenti, Luca},
     journal = {IEEE Control Systems Letters},
     volume = {7},
     pages = {973--978},
     year = {2022},
     doi = {10.1109/LCSYS.2022.3229865},
   }

2. AAAI

   Hyperverlet: A Symplectic Hypersolver for Hamiltonian Systems

   Frederik Baymler Mathiesen, Bin Yang, and Jilin Hu

   In Proceedings of the AAAI Conference on Artificial Intelligence, 2022

   DOI Bib Code

   @inproceedings{mathiesen2022hyperverlet,
     title = {Hyperverlet: A Symplectic Hypersolver for {Hamiltonian} Systems},
     author = {Mathiesen, Frederik Baymler and Yang, Bin and Hu, Jilin},
     booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence},
     volume = {36},
     number = {4},
     pages = {4575--4582},
     year = {2022},
     doi = {10.1609/AAAI.V36I4.20381},
   }