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, motion planning considering traffic rules, and falsification of motion planners. Currently, Sebastian Maierhofer is working 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
Currently available:
Please contact me if you are interested in a thesis (Bachelor, Master, Guided Research) in my research area.
Ongoing:
- [BA] Formalization and Comparision of International Traffic Rules
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
Maierhofer, Sebastian; Moosbrugger, Paul; Althoff, Matthias: Formalization of Intersection Traffic Rules in Temporal Logic. Proc. of the IEEE Intelligent Vehicles Symposium, 2022 mehr…BibTeX
Volltext (
DOI
)
Volltext (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 mehr…BibTeX
Volltext (
DOI
)
Volltext (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 mehr…BibTeX
Volltext (
DOI
)
Volltext (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 mehr…BibTeX
Volltext (
DOI
)
Volltext (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 mehr…BibTeX
Volltext (
DOI
)
Volltext (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 mehr…BibTeX
Volltext (
DOI
)
Volltext (mediaTUM)
