Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
English
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Theoretische Informatik
Address
Boltzmannstraße 3
85748 Garching
Deutschland
GERiT
This institution in GERiT
85748 Garching
Projects
Priority Programmes
Current projects
Statistical Foundations of Semi-supervised Learning with Graph Neural Networks
(Applicant
Ghoshdastidar, Ph.D., Debarghya
)
Completed projects
Conflict handling and strutural change: Using social theories to build adaptive multiagent systems
(Applicant
Brauer, Wilfried
)
Qualitative Repräsentation von Bewegungsverläufen: Kognitive und Psychophysische Grundlagen
(Applicant
Brauer, Wilfried
)
Research Grants
Current projects
Active and batch Segmentation, Clustering, and seriation: toward unified foundations in AI
(Applicants
Carpentier, Alexandra
;
Ghoshdastidar, Ph.D., Debarghya
)
Group-by Objectives in Probabilistic Verification
(Applicant
Esparza, Javier
)
Statistical, Computational and Algorithmic Aspects of Kernel Clustering
(Applicant
Ghoshdastidar, Ph.D., Debarghya
)
Completed projects
Algorithms for Software Model Checking
(Applicant
Esparza, Javier
)
A Scalable Saturation Approach to Higher-Order Verification
(Applicants
Broadbent, Christopher
;
Esparza, Javier
)
Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
(Applicants
Esparza, Javier
;
Nebel, Bernhard
;
Nipkow, Ph.D., Tobias
)
Game-based Synthesis for Industrial Automation
(Applicants
Cheng, Chih-Hong
;
Luttenberger, Michael
)
Kommunikative Erzeugung, Darstellung und Anwendungen Offener Ontologien und Offener Wissensbasen
(Applicant
Brauer, Wilfried
)
Maschinelles Lernen von formaler Kommunikation
(Applicant
Brauer, Wilfried
)
Negotiations: A Model for Tractable Concurrency.
(Applicant
Esparza, Javier
)
Polynomielle Systeme über Semiringen: Grundlagen, Algorithmen, Anwendungen
(Applicant
Esparza, Javier
)
Verified Model Checkers
(Applicants
Kretinsky, Ph.D., Jan
;
Lammich, Peter
)
Collaborative Research Centres
Completed projects
Formale Methoden für die Modellierung und Analyse von mobilen kontextbezogenen Systemen
(Project Head
Esparza, Javier
)
Research Training Groups
Current projects
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
(Spokesperson
Beyer, Dirk
)
Completed projects
GRK 267: Sensory Interaction in Biological and Technical Systems
(Spokesperson
Büttner, Ulrich
)
GRK 1480: Programme and Model Analysis
(Spokesperson
Seidl, Helmut
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
