Matthias Althoff
Technische Universität München
H-index: 54
Europe-Germany
Top articles of Matthias Althoff
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models | arXiv preprint arXiv:2403.07470 | Yuanfei Lin Chenran Li Mingyu Ding Masayoshi Tomizuka Wei Zhan | 2024/3/12 |
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea | arXiv preprint arXiv:2402.08502 | Hanna Krasowski Matthias Althoff | 2024/2/13 |
End-To-End Set-Based Training for Neural Network Verification | arXiv preprint arXiv:2401.14961 | Lukas Koller Tobias Ladner Matthias Althoff | 2024/1/26 |
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure | arXiv preprint arXiv:2404.15065 | Tobias Ladner Michael Eichelbeck Matthias Althoff | 2024/4/23 |
Approximability of the Containment Problem for Zonotopes and Ellipsotopes | arXiv preprint arXiv:2404.11185 | Adrian Kulmburg Lukas Schäfer Matthias Althoff | 2024/4/17 |
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking | Edmond Irani Liu | 2024 | |
Exponent relaxation of polynomial zonotopes and its applications in formal neural network verification | Proceedings of the AAAI Conference on Artificial Intelligence | Tobias Ladner Matthias Althoff | 2024/3/24 |
Simplifying Sim-to-Real Transfer in Autonomous Driving: Coupling Autoware with the CommonRoad Motion Planning Framework | Gerald Würsching Tobias Mascetta Yuanfei Lin Matthias Althoff | 2024 | |
Model predictive robustness of signal temporal logic predicates | IEEE Robotics and Automation Letters | Yuanfei Lin Haoxuan Li Matthias Althoff | 2023/10/13 |
Map Verification and Repairing Using Formalized Map Specifications | Sebastian Maierhofer Yannick Ballnath Matthias Althoff | 2023/9/24 | |
Goal-Oriented Pedestrian Motion Prediction | IEEE Transactions on Intelligent Transportation Systems | Jingyuan Wu Johannes Ruenz Hendrik Berkemeyer Liza Dixon Matthias Althoff | 2023/12/22 |
M-Representation of Polytopes | arXiv preprint arXiv:2303.05173 | Sebastian Sigl Matthias Althoff | 2023/3/9 |
Automatic abstraction refinement in neural network verification using sensitivity analysis | Tobias Ladner Matthias Althoff | 2023/5/9 | |
Geometric deep learning for autonomous driving: Unlocking the power of graph neural networks with CommonRoad-Geometric | Eivind Meyer Maurice Brenner Bowen Zhang Max Schickert Bilal Musani | 2023/6/4 | |
Fully Automated Verification of Linear Systems Using Inner-and Outer-Approximations of Reachable Sets | IEEE Transactions on Automatic Control | Mark Wetzlinger Niklas Kochdumper Stanley Bak Matthias Althoff | 2023/7/4 |
2023 Index IEEE Transactions on Automatic Control Vol. 68 | IEEE Transactions on Automatic Control | MI Abouheaf B Ackmese M Afshari A Aghajan HD Aghbolagh | 2023/12 |
Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach | arXiv preprint arXiv:2309.08399 | Jonathan Külz Matthias Althoff | 2023/9/15 |
Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis | Florian Finkeldei Matthias Althoff | 2023/9/24 | |
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration | arXiv preprint arXiv:2310.06208 | Jakob Thumm Felix Trost Matthias Althoff | 2023/10/9 |
Safe Reinforcement Learning for Automated Vehicles via Online Reachability Analysis | IEEE Transactions on Intelligent Vehicles | Xiao Wang Matthias Althoff | 2023/12/19 |