Publicaties

• 2024

  IntervalMDP.jl

  Accelerated Value Iteration for Interval Markov Decision Processes
  Frederik Baymler Mathiesen / Morteza Lahijanian / Luca Laurenti

• 2024

  Robustness in trajectory prediction for autonomous vehicles

  a survey
  Jeroen Hagenus / Frederik Baymler Mathiesen / Julian F. Schumann / Arkady Zgonnikov

• 2024

  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 / Javier Alonso-Mora

• 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

• 2023

  Safety Certification for Stochastic Systems via Neural Barrier Functions

  Frederik Baymler Mathiesen / S.C. Calvert / L. Laurenti

• Meer publicaties