Miriam Kranzlmüller*, Lukas Koller*, Tobias Ladner, Matthias Althoff
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
arxiv
2026

Mascetta, Tobias and Würsching, Gerald and Pflaumbaum, Sven and Althoff, Matthias
CommonRoad-to-Autoware 2.0: Simplifying Sim-to-Real Transfer of Behavior Planning in Autonomous Driving
IEEE Intelligent Transportation Systems Conference (ITSC)
2026

Schulte, Victor;Eichelbeck, Michael;Althoff, Matthias
To Learn or Not to Learn: A Litmus Test for Using Reinforcement Learning in Control
arXiv
2026

Youran Wang, Jiawei He, and Matthias Althoff
Contingency Planning for Autonomous Vehicles Using Mixed-Integer Programming
The IEEE Intelligent Vehicles Symposium (IV)
2026

Mayer, Matthias;Althoff, Matthias
Smart placement, faster robots—a comparison of algorithms for robot base-pose optimization
Frontiers in Manufacturing Technology
2026
5

Bassan*, Shahaf; Elboher*, Yizhak Yisrael; Ladner*, Tobias; Şahin, Volkan; Kretinsky, Jan; Althoff, Matthias; Katz, Guy
Provably Explaining Neural Additive Models
Proceedings of the 14th International Conference on Learning Representations (ICLR)
2026

Tobias Ladner, Yasser Shoukry, Matthias Althoff
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
Proceedings of the 38th International Conference on Computer Aided Verification (CAV)
2026

Koller, Lukas;Ladner, Tobias;Althoff, Matthias
Out of the Shadows: Exploring a Latent Space for Neural Network Verification
Proceedings of the 14th International Conference on Learning Representations (ICLR)
2026

Lercher, Florian;Reisenberg, Paul;Althoff, Matthias
Efficiently Ensuring Traffic Rule Compliance of Motion Plans by Incorporating Scenario Knowledge
IEEE Transactions on Intelligent Transportation Systems
2026
27
4
4656-4671

Ladner, Tobias Hubert
On Convex and Non-Convex Abstraction-Refinement Techniques Guaranteeing Safety of Artificial Intelligence
2026
Dissertation
215 Seiten