The main focus of this online course is on quantitative model checking for Markov chains, for which the course will discuss efficient computational algorithms.
Instructor: | Professor Anne Remke |
Provided by: | Coursera |
Course language: | English |
Fees: | free course |
Level: | intermediate |
Certificate available? | (fee) |
Format: | MOOC/online course |
How do you like the course 'Quantitative Model Checking'?