Abgeschlossene Promotion: Anton Pirogov

Urheberrecht: Irina Pirogova

Am Donnerstag den 18. Februar 2021, hat Anton Pirogov seine Dissertation "Automata-Theoretic Techniques in Probabilistic Verification" erfolgreich verteidigt.