Skip to Content Skip to Main Navigation Skip to Search
On Thursday 13rdth of February 2020, Sebastian Junges defended his dissertation titled "Parameter Synthesis in Markov Models". He received his doctorate with distinction.
last updated : 02/02/2021