Verification and formal quantitative Analysis
From International Center for Computational Logic
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.
Professors and Research Group Leaders
Scientific Staff
Newest Publications
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation
Journal of Artificial Intelligence Research, 74:957-1004, June 2022
Details Download
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 87-98, November 2021
Details Download
Courses
- Theoretische Informatik und Logik (SS 2021)
- Formale Systeme (WS 2020)
- Seminar “Selected Topics in Logic and Verification” (SS 2018)
- Project Group “Model Checking” (SS 2018)
- Lab Course “Modeling and Automated Verification” (SS 2018)
show further courses
