Skip to Content Jump to Main Navigation 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: 23/02/2021
top