2 citations · 3 across the 4 of their papers we have counts for
4 papers
Realistic Adversarial Attacks for Robustness Evaluation of Trajectory Prediction Models via Future State Perturbation
Julian F. Schumann, Jeroen Hagenus, Frederik Baymler Mathiesen +1
Trajectory prediction is a key element of autonomous vehicle systems, enabling them to anticipate and react to the movements of other road users. Evaluating the robustness of predi…
A survey on robustness in trajectory prediction for autonomous vehicles
Jeroen Hagenus, Frederik Baymler Mathiesen, Julian F. Schumann +1
Autonomous vehicles rely on accurate trajectory prediction to inform decision-making processes related to navigation and collision avoidance. However, current trajectory prediction…
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
In this paper, we present IntervalMDP.jl, a Julia package for probabilistic analysis of interval Markov Decision Processes (IMDPs). IntervalMDP.jl facilitates the synthesis of opti…
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 +1
Control Barrier Functions (CBFs) that provide formal safety guarantees have been widely used for safety-critical systems. However, it is non-trivial to design a CBF. Utilizing neur…