About this Course

2,444 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.
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.
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.