Lukas Schäfer

According to our database, Lukas Schäfer authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes.

Jonathan Hellwig, Lukas Schäfer, Long Qian, André Platzer, Matthias Althoff

CoRR, September, 2025

Safe Reinforcement Learning using Action Projection: Safeguard the Policy or the Environment?

Hannah Markgraf, Shamburaj Sawant, Hanna Krasowski, Lukas Schäfer, Sebastien Gros, Matthias Althoff

CoRR, September, 2025

Robust Optimal Control Using Set-based Reachability Analysis.

Lukas Schäfer, Matthias Althoff

Proceedings of the 2025 European Control Conference, 2025

2024

Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems.

Lukas Schäfer, Felix Gruber, Matthias Althoff

IEEE Trans. Autom. Control., February, 2024

Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis.

Lukas Schäfer, Matthias Althoff

Proceedings of the American Control Conference, 2024

2023

Computation of Solution Spaces for Optimization-Based Trajectory Planning.

Lukas Schäfer, Stefanie Manzinger, Matthias Althoff

IEEE Trans. Intell. Veh., January, 2023

Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking.

Hanna Krasowski, Jakob Thumm, Marlon Müller, Lukas Schäfer, Xiao Wang, Matthias Althoff

Trans. Mach. Learn. Res., 2023