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.

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
• Validation of Temporal Logic Specifications