Foto von Sebastian Maierhofer

Sebastian Maierhofer, M.Sc.

Technische Universität München

Informatik 6 - Lehrstuhl für Robotik, Künstliche Intelligenz und Echtzeitsysteme (Prof. Knoll)

Postadresse

Postal:
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, 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:

Currently, there are no open topics for theses.

Please contact me if you are interested in a thesis (Bachelor, Master, Guided Research) in my research area.

Ongoing:

-

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

Teaching

Exercise: Gems of Informatics 2 (SS 20)

Practical Course: Motion Planning for Autonomous Vehicles (topic supervision: WS 19/20 - WS 21/22; 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

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

Publications

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)