Verifikation und formale quantitative Analyse
Aus International Center for Computational Logic
Verifikation und formale quantitative Analyse
- Kontaktperson Christel Baier
Die Forschungsgruppe Verifikation und formale quantitative Analyse beschäftigt sich mit der Modellierung, Spezifikation and Verifikation reaktiver Systeme, der quantitativen Analyse stochastischer Systeme sowie Probabilistic Model Checking. Die weitere Forschung umfasst Koordinationssprachen, die Kompatibilität von Komponenten, temporale und modale Logiken, Automaten über unendlichen Strukturen, Spieltheorie und die Verifikation von Systemen mit unendlichem Zustandsraum.
Professoren und Gruppenleiter
Wissenschaftliche Mitarbeiter
Neueste Publikationen
Komplette Publikationsliste anzeigen
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation
Journal of Artificial Intelligence Research, to appear
Details
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
Lehrveranstaltungen
- Theoretische Informatik und Logik (SS 2021)
- Formale Systeme (WS 2020)
- Lecture “Advanced Logics” (SS 2018)
- Seminar “Selected Topics in Logic and Verification” (SS 2018)
- Project Group “Model Checking” (SS 2018)
weitere Lehrveranstaltungen anzeigen
QuantLA
Quantitative Logics and Automata
