Verification and formal quantitative Analysis

Research Groups

• Algebra and Discrete Structures
• Automata Theory
• Computational Logic
• Knowledge-aware Artificial Intelligence
• Logic Programming and Argumentation
• Verification and formal quantitative Analysis
• Knowledge-Based Systems

Toggle side column

Verification and formal quantitative Analysis

•   Contact Christel Baier

The research of the Verification and formal quantitative Analysis group mainly focuses on modeling, specification and verification of reactive systems as well as quantitative analysis of stochastic systems and probabilistic model checking. Other areas of interest include coordination languages, compatibility of components, temporal and modal logics, automata over infinite structures, game theory and verification of infinite-state systems.

Further information can be found on the web site of the Verification and formal quantitative Analysis research group.