Verification and formal quantitative Analysis

From International Center for Computational Logic
Toggle side column

Verification and formal quantitative Analysis

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.

Professors and Research Group Leaders

Scientific Staff

Newest Publications

View full publication list

Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), to appear
Details
View full publication list
Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata