About this Course

2,349 recent views
Flexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Coursera Labs
Includes hands on learning projects.
Learn more about Coursera Labs External Link
Intermediate Level
Approx. 17 hours to complete
English
Flexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Coursera Labs
Includes hands on learning projects.
Learn more about Coursera Labs External Link
Intermediate Level
Approx. 17 hours to complete
English

Instructor

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week1
Week 1
4 hours to complete

Module 1: Computational Tree Logic

4 hours to complete
6 videos (Total 61 min), 3 readings, 4 quizzes
Week2
Week 2
3 hours to complete

Discrete Time Markov Chains

3 hours to complete
5 videos (Total 49 min), 2 readings, 5 quizzes
Week3
Week 3
4 hours to complete

Probabilistic Computational Tree Logic

4 hours to complete
5 videos (Total 36 min), 3 readings, 6 quizzes
Week4
Week 4
4 hours to complete

Continuous Time Markov Chains

4 hours to complete
5 videos (Total 57 min), 2 readings, 6 quizzes

Frequently Asked Questions

More questions? Visit the Learner Help Center.