Open Student Thesis Offers

We pursue a wide range of research directions related to safe decision making, motion planning and control for autonomous vehicles, involving formal methods, sampling-based and optimization-based methods, and deep learning-based methods.

Contact: Florian Finkeldei, Florian Lercher, Shuaiyi Li, Sebastian Mair, Tobias Mascetta, Lars Frederik Peiß, Roland Stolz, Youran Wang

Topics:

• [MA] Traffic Rule Monitoring for Autonomous Trucks in Highway Traffic
• [BA/GR] CommonRoad Scenario Designer Web
• [MA/BA/GR/SA] Modular Mechanical Design of an Autonomous Truck
• [MA/BA/GR/SA] Falsification of Automated Vehicles
• [MA/BA/GR/SA] Systematic Synthesis of NCAP Traffic Scenarios
• [BA/SA] Evaluating Trajectories with Criticality Measures and Robustness Metrics for Autonomous Driving
• [MA/BA/GR/SA] Enhance Performance of Neural-Network-Based Action Masking for Reinforcement Learning Using Curriculum Learning
• [MA external] Generative AI for Autonomous Driving (f/m/d) | Volkswagen AG (external link)

Contact: Julian Balletshofer, Tim Walter, Marlon Müller

• [MA] Predictive Safety Certification for HumanRobot Interaction
• [MA] Robot Control for Modular Industrial Robots (ROBCO)
• [MA] Model Building for Modular Industrial Robots (ROBCO)
• [MA] Automatic Robot Productivity Supervision and Prediction (ROBCO)

Contact: Hannah Markgraf, Jonathan Külz, Julian Balletshofer, Marlon Müller, Tim Walter.

• [MA/BA] Specification-Guided Curriculum Design for Reinforcement Learning

Additionally, we will have open topics in safe reinforcement learning for manipulators and mobile platforms in the future.

Contact: Michael Eichelbeck, Marlon Müller, Victor Schulte.

We are currently not offering any topics here.

Research Directions: 

• Formal Verification of Neural Networks and Robust Training: Lukas Koller, Tobias Ladner
• Fundamentals on Set Representations: Sebastian Sigl
• System Identification and Conformance Checking: Laura Lützow
• Optimization and Data Driven Control: Lukas Schäfer, Yongkuan Zhang
• Reachability Analysis of Dynamic Systems: Maximilian Perschl
• Temporal Logic Verification and Application to Autonomous Vehicles: Florian Lercher
  • [BA/GR] - A Bitvector Encoding for Satisfiability Checking of Temporal Logic
• Set-based observers: Nico Holzinger

Topics:

•  If you find one of these research directions interesting, please visit the individual websites and contact them directly (CV+ToR).
• We are also always open to discuss thesis topics even if there are no specific topics currently listed on the website. Please have a look at previous works and tell us which direction you find interesting. 

Tech Topics: Claus Carste, Julian Hoffman, Nicola Kolb

• [MA] Automation of Building Insulation Installation Using Mobile Robots - Carste
• [MA] Automation of Construction Site Tasks Using Teleoperated Mobile Robots - Carste
• [MA/GR] Sensor-Guided Force-Controlled Robotics to Bridge the Sensor-Reality Gap - Carste
• [MA/GR] Real-Time AI-Driven Motion Optimization of Slightly Compliant Robotic Robotic Systems - Carste
• [MA] Tablet-Based Scan-to-BIM Integration for Construction Robotics Applications - Carste
• [MA] Automated Scan-to-BIM pipeline for construction-site robotics - Hoffmann
• [MA/BA] Fleet-Level Robot Orchestration Dashboard for Performance Monitoring and Remote Debugging - Hoffmann
• [BA] ]High Deatil Surface Reconstruction for Robotic Manipulation on construction sites - Hoffmann
• [BA/GR] Development of an intuitive 3D Human-Machine-Interface for Construction-Site Robotic Task Planning  - Hoffmann
• [MA/GR] Embodied and Agentic AI for Autonomous Robots on Construction Sites - Hoffmann
• [MA/GR] From the laboratory to open environments: Reachability-based safety verification (contact: nicola.kolb@tum.de)
• [MA/GR] Modular and Compositional Risk Assessment for Modular Robots in Unstructured Environments (contact: nicola.kolb@tum.de)
• [BA/GR] Metamorphic Testing of AI-based Construction Robots (contact: nicola.kolb@tum.de)
• [BA] CI/CD Pipeline for a Construction Robot Application (contact: nicola.kolb@tum.de)

Business Topics: Dr. Lena-Marie Pätzmann 

• [MA] Development of a Concept for the Value Chain of Modular Construction Robots
• [MA] Data-Driven Business Model Innovation for Robotics Start-up
• [MA] Market Analysis and Economic Viability Study for Modular Construction Robots
• [MA] Development of a Go-to-Market Strategy for Construction Robots