| Formalization of Interstate Traffic Rules in Temporal Logic S Maierhofer, AK Rettinger, EC Mayer, M Althoff IEEE Intelligent Vehicles Symposium, 1135-1144, 2020 | 59 | 2020 |
| Computationally efficient safety falsification of adaptive cruise control systems M Koschi, C Pek, S Maierhofer, M Althoff 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2879-2886, 2019 | 47 | 2019 |
| Provably-correct and comfortable adaptive cruise control M Althoff, S Maierhofer, C Pek IEEE Transactions on Intelligent Vehicles 6 (1), 159-174, 2021 | 45 | 2021 |
| Formalization of intersection traffic rules in temporal logic S Maierhofer, P Moosbrugger, M Althoff 2022 IEEE Intelligent Vehicles Symposium (IV), 1135-1144, 2022 | 23 | 2022 |
| CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles S Maierhofer, M Klischat, M Althoff Proc. of the IEEE International Conference on Intelligent Transportation …, 2021 | 22 | 2021 |
| Sampling-based trajectory repairing for autonomous vehicles Y Lin, S Maierhofer, M Althoff 2021 IEEE International Intelligent Transportation Systems Conference (ITSC …, 2021 | 11 | 2021 |
| EDGAR: An Autonomous Driving Research Platform--From Feature Development to Real-World Application P Karle, T Betz, M Bosk, F Fent, N Gehrke, M Geisslinger, L Gressenbuch, ... arXiv preprint arXiv:2309.15492, 2023 | 1 | 2023 |
| Cut-in-safe adaptive cruise control system for vehicles M Althoff, S Maierhofer, C Pek US Patent App. 17/918,920, 2023 | | 2023 |
| Map Verification and Repairing Using Formalized Map Specifications S Maierhofer, Y Ballnath, M Althoff 2023 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2023 | | 2023 |
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
