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

Althoff, Matthias; Kochdumper, Niklas; Ladner, Tobias; Perschl, Maximilian; Wetzlinger, Mark
CORA Manual
2025

Tobias Ladner, Yasser Shoukry, Matthias Althoff
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
arxiv
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
2025
Early Access
1-16

Kaulen, Konstantin;Ladner, Tobias;Bak, Stanley;Brix, Christopher;Duong, Hai;Flinkow, Thomas;Johnson, Taylor T.;Koller, Lukas;Manino, Edoardo;Nguyen, ThanhVu H.;Wu, Haoze
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
arxiv
2025

Tobias Ladner
ARCH-COMP25 Repeatability Evaluation Report
Proceedings of 12th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
2025

Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Samuel Coogan, Marcelo Forets, Akash Harapanahalli, Taylor T. Johnson, Tobias Ladner, Christian Schilling, Huan Zhang and Xiangru Zhong
ARCH-COMP25 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Proceedings of 12th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
2025

Walter, Tim;Markgraf, Hannah;Külz, Jonathan;Althoff, Matthias
Leveraging Analytic Gradients in Provably Safe Reinforcement Learning
IEEE Open Journal of Control Systems
2025
4
463-481

Lin, Yuanfei; Illing, Sebastian;Althoff, Matthias
SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis
ArXiv
2025