Detailseite

Dr. Michael Luttenberger

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Spiel-basierte Synthese für die industrielle Automatisierung (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Polynomielle Systeme über Semiringen: Grundlagen, Algorithmen, Anwendungen (Sachbeihilfen)
Als Mitverantwortlich
- abgeschlossene Projekte
  - Verifizierte Model Checker (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Dr. Michael Luttenberger

Zusatzinformationen

Servicenavigation

Hauptnavigation

Dr. Michael Luttenberger

Zusatzinformationen

Textvergrößerung und Kontrastanpassung