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
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)
- Project Group “Model Checking” (SS 2018)
- Lecture “Advanced Logics” (SS 2018)
- Seminar “Selected Topics in Logic and Verification” (SS 2018)
show further courses
QuantLA
Quantitative Logics and Automata
