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'?
