Formalization of Interstate Traffic Rules in Temporal Logic S Maierhofer, AK Rettinger, EC Mayer, M Althoff IEEE Intelligent Vehicles Symposium, 1135-1144, 2020 | 72 | 2020 |
Provably-correct and comfortable adaptive cruise control M Althoff, S Maierhofer, C Pek IEEE Transactions on Intelligent Vehicles 6 (1), 159-174, 2021 | 60 | 2021 |
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 | 52 | 2019 |
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 | 33 | 2021 |
Formalization of intersection traffic rules in temporal logic S Maierhofer, P Moosbrugger, M Althoff 2022 IEEE Intelligent Vehicles Symposium (IV), 1135-1144, 2022 | 31 | 2022 |
Sampling-based trajectory repairing for autonomous vehicles Y Lin, S Maierhofer, M Althoff 2021 IEEE International Intelligent Transportation Systems Conference (ITSC …, 2021 | 17 | 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 | 7 | 2023 |
Map Verification and Repairing Using Formalized Map Specifications S Maierhofer, Y Ballnath, M Althoff 2023 IEEE 26th International Conference on Intelligent Transportation …, 2023 | 2 | 2023 |
CommonRoad-CARLA Interface: Bridging the Gap between Motion Planning and 3D Simulation S Maierhofer, M Althoff 2024 IEEE Intelligent Vehicles Symposium (IV), 2024 | | 2024 |
Cut-in-safe adaptive cruise control system for vehicles M Althoff, S Maierhofer, C Pek US Patent App. 17/918,920, 2023 | | 2023 |