Edukatico will keep you updated from time to time. (You can stop this at any time.)
Choose filter settings here or enter a search term above.
The main focus of this online course is on quantitative model checking for Markov chains, for which the course will discuss efficient computational algorithms.
We use cookies, primarily to offer a great user experience and to further improve our website.
You can change your individual cookie settings here: