Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking. - Hanna Krasowski; Jakob Thumm; Marlon Müller; Lukas Schäfer 004; Xiao Wang 046; Matthias Althoff (Trans. Mach. Learn. Res., 2023)

Computation of Solution Spaces for Optimization-Based Trajectory Planning. - Lukas Schäfer 004; Stefanie Manzinger; Matthias Althoff (IEEE Trans. Intell. Veh., 2023)

Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis. - Lukas Schäfer 004; Matthias Althoff (ACC, 2024)

Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems. - Lukas Schäfer 004; Felix Gruber; Matthias Althoff (IEEE Trans. Autom. Control., 2024)