Foto von Sebastian Maierhofer

Sebastian Maierhofer, M.Sc.

Technische Universität München

Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)


Boltzmannstr. 3
85748 Garching b. München

Curriculum Vitae

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.


  • [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


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
  • Validation 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 mehr… BibTeX Volltext (mediaTUM)


  • Maierhofer, Sebastian; Ballnath, Yannick; Althoff, Matthias: Map Verification and Repairing Using Formalized Map Specifications. 2023 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2023 mehr… BibTeX Volltext (mediaTUM)



  • 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)


  • 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)


  • 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)