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

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

Huang, Yanliang;Yan, Xia;Yin, Peiran;Zhang, Zhenduo;Shao, Zeyan;Wang, Youran;Huang, Haoliang;Althoff, Matthias
Results of the 2024 CommonRoad Motion Planning Competition for Autonomous Vehicles
2025

Finkeldei, Florian; Wolf, Michael; Weghorn, Jan-Niklas; Pretschner, Alexander; Althoff, Matthias
Enhanced Traffic Rule Monitoring Using Model-Predictive and Duration-Aware Robustness
1322-1329
IEEE International Conference on Intelligent Transportation Systems
2025

Mayer, Matthias;Althoff, Matthias
Holistic Optimization of Modular Robots
IEEE Transactions on Automation Science and Engineering
2025
23
Nov
2703-2716

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

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

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