Skip to Content Skip to Main Navigation Skip to Footer Skip to Search
You Are Here: Completed doctorate: Anton Pirogov
On Thursday, February 18, 2021, Anton Pirogov defended his dissertation titled "Automata-Theoretic Techniques in Probabilistic Verification".
last updated: 30/08/2021
top