À propos de ce cours

3,585 consultations récentes
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire
Approx. 18 heures pour terminer
Anglais
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire
Approx. 18 heures pour terminer
Anglais

Offert par

Placeholder

EIT Digital

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

4 heures pour terminer

Module 1: Computational Tree Logic

4 heures pour terminer
6 vidéos (Total 61 min), 3 lectures, 4 quiz
6 vidéos
Introduction13 min
Semantics of CTL13 min
Model Checking CTL9 min
The Until Operator12 min
The Always Operator9 min
3 lectures
Script 1 and 2.110 min
Script 2.2 and 2.310 min
Script 2.420 min
4 exercices pour s'entraîner
Formulate for yourself30 min
Test your understanding of CTL semantics30 min
Check your understanding of CTL30 min
Model checking eventually, always and until30 min
Semaine
2

Semaine 2

3 heures pour terminer

Discrete Time Markov Chains

3 heures pour terminer
5 vidéos (Total 49 min), 2 lectures, 5 quiz
5 vidéos
Evolution in Time13 min
Transient probabilities9 min
State classification5 min
Steady-state probabilities12 min
2 lectures
Script 3.1 and 3.210 min
Script 3.310 min
5 exercices pour s'entraîner
Evolution of DTMCs30 min
Compute transient probabilities10 min
Classification of DTMC states True or False?30 min
State classification30 min
Steady-state computation30 min
Semaine
3

Semaine 3

4 heures pour terminer

Probabilistic Computational Tree Logic

4 heures pour terminer
5 vidéos (Total 36 min), 3 lectures, 6 quiz
5 vidéos
Model checking and the Next operator7 min
Time-bounded Until6 min
Backwards computation4 min
Unbounded Until8 min
3 lectures
Script: 4.1 and 4.210 min
Script: 4.3.1 and 4.3.225 min
Script 4.3.310 min
6 exercices pour s'entraîner
PCTL Syntax30 min
Checking PCTL next30 min
Test your understanding of PCTL Until30 min
Checking time-bounded until16 min
Checking unbounded until10 min
Test your understanding of PCTL30 min
Semaine
4

Semaine 4

4 heures pour terminer

Continuous Time Markov Chains

4 heures pour terminer
5 vidéos (Total 57 min), 2 lectures, 6 quiz
5 vidéos
Generator matrix11 min
Steady-state probabilities11 min
Triple Modular Redundancy11 min
Uniformisation12 min
2 lectures
Script: 5.1 and 5.220 min
Script: 5.315 min
6 exercices pour s'entraîner
Generator matrix30 min
Test your understanding of CTMCs30 min
Steady state probability in CTMCs10 min
Identifying BSCCs12 min
Test your understanding of Uniformisation30 min
Uniformisation12 min

Foire Aux Questions

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.