About this Course

Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 18 hours to complete
English
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 18 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

4 hours to complete

Module 1: Computational Tree Logic

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

Week 2

3 hours to complete

Discrete Time Markov Chains

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

Week 3

4 hours to complete

Probabilistic Computational Tree Logic

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

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.