Introduction to DTMCs

Loading...
From the course by EIT Digital
Quantitative Model Checking
14 ratings
EIT Digital

Quantitative Model Checking

14 ratings
From the lesson
Discrete Time Markov Chains

Meet the Instructors

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science
Coursera provides universal access to the world’s best education, partnering with top universities and organizations to offer courses online.
© 2017 Coursera Inc. All rights reserved.
Download on the App StoreGet it on Google Play