Halder, Patrick; Kiltz, Lothar; Homburger, Hannes; Reuter, Johannes; Althoff, Matthias
Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
IEEE Open Journal of Intelligent Transportation Systems
2026

Althoff, Matthias;Forets, Marcelo;Perschl, Maximilian;Schilling, Christian
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
EasyChair
2025

Geretti, Luca;Sandretto, Julien Alexandre Dit;Althoff, Matthias;Benet, Luis;Collins, Pieter;Forets, Marcelo;Mitsch, Stefan;Patel, Ismail;Perschl, Maximilian;Schilling, Christian;Tillet, Joris
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
EasyChair
2025

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

Bandara, Michael;Eichelbeck, Michael
Deep Reinforcement Learning for Intraday Energy Trading
2025 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe)
2025

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