Sebastian Maierhofer joined the Cyber-Physical Systems Group in 2019 as a Research Assistant and Ph.D. student under the supervison of Prof. Dr.-Ing. Matthias Althoff. He graduated with the Master of Science degree in Automotive Software Engineering from the Technical University of Munich in 2019. He received the Bachelor of Science degree in Technical Computer Science from OTH Regensburg in 2016.
His research focuses on the formalization of traffic laws for autonomous vehicles and motion planning considering traffic rules. Currently, Sebastian Maierhofer is working on the MCube projects Testkreuzung and COLTOC. Before that, he worked on the BMW CAR@TUM project with the objective to plan trajectories under the consideration of traffic rules as well on the project Proving Accountability in Traffic (PAcT)funded by the Germand Reseach foundation (DFG) with the objective to concretize and formalize traffic rules.
Offered Theses
Unfortunately, since I will be leaving TUM, I will not be able to supervise further theses.
Finished:
[MT] Efficient Trajectory Repairing for Autonomous Vehicles
[MT] Management and Validation of Traffic Rules Specified in Temporal Logic
[MT] Synthesis of Runtime Verification Monitors for Traffic Rules
[BT] Offline Map Validation and Repairing Using Formalized Road Networks
[BT] Formalization and Monitoring of Intersection Traffic Rules with Temporal Logic
[BT] Highway Pilot for Autonomous Vehicles Considering Traffic Rules
[MT] Falsification of Motion Planners for Autonomous Vehicles Using Rapidly-Exploring Random Trees
[BT] Formalization and Comparision of International Traffic Rules
[BT] Formalization of Traffic Rules Considering Vulnerable Road Users
[BT] Traffic Rule Monitoring for Discretization-based Motion Planners
[BT] Parametrization and Evaluation of Formalized Traffic Rules
Teaching
Exercise: Gems of Informatics 2 (SS 20)
Practical Course: Motion Planning for Autonomous Vehicles (topic supervision: WS 19/20 - SS 24; course organization: WS 19/20)
Artificial Generation of Traffic Scenarios Considering Traffic Rules
Fail Safe Motion Planning
Fail-Safe Motion Planning Online Game
Map Generation for Autonomous Vehicles
Developing Autonomous Driving Algorithms in C++
Falsification of Motion Planners
Map Conversion & Driving Simulator
CommonRoad Scenario Designer
Traffic Rules for Autonomous Vehicles
Motion Planning Library
CommonRoad-CARLA Interface
EDGAR Data Warehouse
CommonRoad Dataset Converter
Seminar: Cyber-Physical Systems (topic supervision: WS 19/20 - WS 20/21)
Motion Planning at Intersections
Runtime Verification of Temporal Logic Specifications
Maierhofer, Sebastian; Althoff, Matthias: CommonRoad-CARLA Interface: Bridging the Gap between MotionPlanning and 3D Simulation. 2024 IEEE Intelligent Vehicles Symposium (IV), 2024 more…BibTeX
Full text (mediaTUM)
2023
Maierhofer, Sebastian; Ballnath, Yannick; Althoff, Matthias: Map Verification and Repairing Using Formalized Map Specifications. 2023 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2023 more…BibTeX
Full text (mediaTUM)
2022
Maierhofer, Sebastian; Moosbrugger, Paul; Althoff, Matthias: Formalization of Intersection Traffic Rules in Temporal Logic. Proc. of the IEEE Intelligent Vehicles Symposium, 2022 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)
2021
Lin, Yuanfei; Maierhofer, Sebastian; Althoff, Matthias: Sampling-Based Trajectory Repairing for Autonomous Vehicles. 2021 IEEE International Conference on Intelligent Transportation Systems (ITSC) , 2021, 572-579 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)
Matthias Althoff, Sebastian Maierhofer, and Christian Pek: Provably-Correct and Comfortable Adaptive Cruise Control. IEEE Transactions on Intelligent Vehicles 6 (1), 2021, 159-174 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)
Sebastian Maierhofer, Moritz Klischat, and Matthias Althoff: CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles. Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems , 2021, 3176-3182 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)
2020
Maierhofer, Sebastian; Rettinger, Anna-Katharina; Mayer, Eva Charlotte; Althoff, Matthias: Formalization of Interstate Traffic Rules in Temporal Logic. Proc. of the IEEE Intelligent Vehicles Symposium, 2020 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)
2019
Markus Koschi, Christian Pek, Sebastian Maierhofer, and Matthias Althoff: Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems. Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems, 2019 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)
