Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Robotik, Künstliche Intelligenz und Echtzeitsysteme

Address Boltzmannstraße 3
85748 Garching
Deutschland

GERiT This institution in GERiT

85748 Garching

Projects

Research Grants
- Current projects
  - Automatic Test-Case Generation for Autonomous Vehicles
    (Applicant Althoff, Matthias )
  - Formal Verification of Analog AI Hardware (FAI)
    (Applicants Althoff, Matthias ; Hedrich, Lars ; Olbrich, Markus )
  - Pop-Up Automation of Production Processes
    (Applicant Althoff, Matthias )
  - Safe-Guarding Artificial Intelligence in Power Systems
    (Applicant Althoff, Matthias )
  - Safe Human-Robot Interaction Through Machine Learning and Reachability Analysis
    (Applicant Althoff, Matthias )
  - Scalable Controller Synthesis with Formal Guarantees
    (Applicant Althoff, Matthias )
  - Traffic-Rule-Aware Reachability Analysis for Motion Planning of Automated Vehicles
    (Applicant Althoff, Matthias )
- Completed projects
Research Units
- Completed projects
Collaborative Research Centres
- Current projects
  - Consistency of Data-Defined Models
    (Project Heads Althoff, Matthias ; Platzer, André )
  - Consistency of Hybrid / Continuous Models
    (Project Heads Althoff, Matthias ; Platzer, André ; Pretschner, Alexander )
- Completed projects
  - Automated, Robot-Assisted Handling of Limp and Deformable Objects
    (Project Head Knoll, Alois )
  - Handlungs- und Wahrnehmungsautonomie im Zusammenspiel mit Instruktion
    (Project Heads Knoll, Alois ; Zhang, Jianwei )
  - Miniaturisierte Bildsensoren für medizinische Instrumente
    (Project Head Knoll, Alois )
  - Multisensorunterstützte Montage von Aggregaten
    (Project Heads Knoll, Alois ; Ritter, Helge ; Zhang, Jianwei )
  - Shared Control for Cooperative Tele-Manipulation in Robotic Surgery: Methods, Implementation and Evaluation
    (Project Heads Bauernschmitt, Robert ; Knoll, Alois )
  - Teilautonomie und multimodale Instruktion zum Transfer von Fertigkeiten
    (Project Heads Knoll, Alois ; Schrott, Gerhard )
Major Research Instrumentation
- Completed projects
  - Autonomous research vehicle
Priority Programmes
- Current projects
  - Data-driven process modeling in stamping technology
    (Applicants Althoff, Matthias ; Hartmann, Christoph ; Volk, Wolfram )
- Completed projects
  - Active exploration in the high-dimensional data of an artificial skin
    (Applicants Knoll, Alois ; Strohmayr, Michael )
  - Cooperative and Intrinsically-Correct Control of Vehicles in Diverse Environments (CoInCiDE)
    (Applicants Althoff, Matthias ; Köster, Frank ; Stursberg, Olaf )
Research Training Groups
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
    (Spokesperson Beyer, Dirk )
- Completed projects
  - GRK 1480: Programme and Model Analysis
    (Spokesperson Seidl, Helmut )

© 2025 DFG Disclaimer / Copyright / Privacy Policy