Nico Holzinger; Tobias Ladner
ARCH-COMP26 Repeatability Evaluation Report
Proceedings of 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 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

Eichelbeck, Michael;Markgraf, Hannah;Althoff, Matthias
CommonPower: A Framework for Safe Data-Driven Smart Grid Control
IEEE Transactions on Smart Grid
2026
17
1
71-82

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

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