Walter, Tim;Markgraf, Hannah;Külz, Jonathan;Althoff, Matthias
Leveraging Analytic Gradients in Provably Safe Reinforcement Learning
IEEE Open Journal of Control Systems
2025
4
463-481

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

Eichelbeck, Michael;Althoff, Matthias
Fair Cost Allocation in Energy Communities Under Forecast Uncertainty
IEEE Open Access Journal of Power and Energy
2025
12
2-11

Eichelbeck*, Michael;Adam*, Max;Laureys, Kenneth;Zurmühl, Milena;Althoff, Matthias
Wind Turbine Fault Classification Based on Reconstruction Errors of SCADA Data
56-62
Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems
ACM
2025

Würsching, Gerald; Mascetta, Tobias; Breen, Sammy; Althoff, Matthias
Transformer-Based Assessment of Driving Corridors for Motion Planning of Automated Vehicles
IEEE International Conference on Intelligent Transportation Systems
2025

Daniel Ostermeier, Jonathan Külz, Matthias Althoff
Automatic Geometric Decomposition for Analytical Inverse Kinematics
IEEE Robotics and Automation Letters
2025
10
10
9964-9971

Lin, Yuanfei; Xing, Zekun;Han, Xuyuan;Althoff, Matthias
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
IEEE Transactions on Robotics
2025

Lützow, Laura;Eichelbeck, Michael;Kochenderfer, Mykel J.;Althoff, Matthias
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
Preprint
2025

Lützow, Laura;Althoff, Matthias
Reachset-Conformant System Identification
Preprint
2025

Lützow, Laura; Althoff, Matthias
Recursive Identification of Reachset-Conformant Models using Constraint Underapproximation
2530-2537
2025 American Control Conference (ACC)
2025