Koller*, Lukas;Ladner*, Tobias;Kellner, Benedikt;Althoff, Matthias
CORA: Verifying Neural Networks in a Shared Latent Space (Competition Contribution)
Proceedings of the International Symposium on AI Verification (SAIV)

2026

Nico Holzinger; Tobias Ladner
ARCH-COMP26 Repeatability Evaluation Report
Proceedings of the 13th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
2026

Samuel Sasaki, Ben Wooding, Taylor T. Johnson, Matthias Althoff, Luis Benet, Samuel Coogan, Marcelo Forets, Akash Harapanahalli, Lukas Koller, Tobias Ladner, Christian Schilling, Huan Zhang and Xiangru Zhong
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Proceedings of the 13th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
2026

Müller, Marlon;Finkeldei, Florian;Krasowski, Hanna;Arcak, Murat;Althoff, Matthias
Falsification-driven reinforcement learning for maritime motion planning
Ocean Engineering
2026
361
125579

Reinwardt, Maximilian;Eichelbeck, Michael;Althoff, Matthias
BSAT: B-Spline Adaptive Tokenizer for Long-Term Time Series Forecasting
arXiv preprint arXiv:2601.00698
2026

Fill, Jonas;Eichelbeck, Michael;Ebner, Michael
Predicting Building Types and Functions at Transnational Scale
IEEE Access
2026
14
13986-14007

Eichelbeck, Michael;Voigt, Tim;Althoff, Matthias
Supporting High-Stakes Decision Making Through Interactive Preference Elicitation in the Latent Space
The Fourteenth International Conference on Learning Representations
2026

Northoff, Kilian and Mascetta, Tobias and Althoff, Matthias
CommonRoad Diffusion Planning: A Toolbox for Diffusion-based Motion Planning in Autonomous Driving
IEEE Intelligent Transportation Systems Conference (ITSC)
2026

Yasmine Abu-Haeyeh*, Tobias Ladner*, Matthias Althoff, Lars Hedrich
Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
Proceedings of the Forum on Specification & Design Languages (FDL)
2026

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