Dr. Michael Luttenberger

Address Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Theoretische Informatik
Boltzmannstraße 3
85748 Garching

Projects

As Applicant
- Completed projects
  - Game-based Synthesis for Industrial Automation (Research Grants)
As Participating Person
- Completed projects
  - Polynomielle Systeme über Semiringen: Grundlagen, Algorithmen, Anwendungen (Research Grants)
As Co-Investigator
- Completed projects
  - Verified Model Checkers (Research Grants)