Ye, Egon;Althoff, Matthias
Offline Object Tracking With Joint Point Cloud Registration
IEEE Transactions on Intelligent Vehicles
2025
10
9
4528-4545

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

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