Interested in online learning?

Edukatico will keep you updated from time to time. (You can stop this at any time.)


The main focus of this online course is on quantitative model checking for Markov chains, for which the course will discuss efficient computational algorithms.

EIT Digital

Teacher: Professor Anne Remke
Provided by: Coursera
Course language: English
Fees: free course
Level: intermediate
Certificate possible? (fee)
Format: MOOC/online course

How do you like the course 'Quantitative Model Checking'?

Other online courses in Computer Science, IT