Verifikation und formale quantitative Analyse

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Verifikation und formale quantitative Analyse

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

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
Komplette Publikationsliste anzeigen
Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata