Interested in online learning?

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

Coursera logo
Provider: Coursera
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.

Content

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

Instructor: Professor Anne Remke
Provided by: Coursera
Course language: English
Fees: free course
Level: intermediate
Certificate available? (fee)
Format: MOOC/online course
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.
You need to accept cookies for external services to see this content.

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

Other online courses in Computer Science, IT