학생용

이 강좌에 대하여

최근 조회 3,323
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계
완료하는 데 약 18시간 필요
영어
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계
완료하는 데 약 18시간 필요
영어

제공자:

Placeholder

EIT 디지털

강의 계획 - 이 강좌에서 배울 내용

1

1

완료하는 데 4시간 필요

Module 1: Computational Tree Logic

완료하는 데 4시간 필요
6개 동영상 (총 61분), 3 개의 읽기 자료, 4 개의 테스트
6개의 동영상
Introduction13m
Semantics of CTL13m
Model Checking CTL9m
The Until Operator12m
The Always Operator9m
3개의 읽기 자료
Script 1 and 2.110m
Script 2.2 and 2.310m
Script 2.420m
4개 연습문제
Formulate for yourself30m
Test your understanding of CTL semantics30m
Check your understanding of CTL30m
Model checking eventually, always and until30m
2

2

완료하는 데 3시간 필요

Discrete Time Markov Chains

완료하는 데 3시간 필요
5개 동영상 (총 49분), 2 개의 읽기 자료, 5 개의 테스트
5개의 동영상
Evolution in Time13m
Transient probabilities9m
State classification5m
Steady-state probabilities12m
2개의 읽기 자료
Script 3.1 and 3.210m
Script 3.310m
5개 연습문제
Evolution of DTMCs30m
Compute transient probabilities10m
Classification of DTMC states True or False?30m
State classification30m
Steady-state computation30m
3

3

완료하는 데 4시간 필요

Probabilistic Computational Tree Logic

완료하는 데 4시간 필요
5개 동영상 (총 36분), 3 개의 읽기 자료, 6 개의 테스트
5개의 동영상
Model checking and the Next operator7m
Time-bounded Until6m
Backwards computation4m
Unbounded Until8m
3개의 읽기 자료
Script: 4.1 and 4.210m
Script: 4.3.1 and 4.3.225m
Script 4.3.310m
6개 연습문제
PCTL Syntax30m
Checking PCTL next30m
Test your understanding of PCTL Until30m
Checking time-bounded until16m
Checking unbounded until10m
Test your understanding of PCTL30m
4

4

완료하는 데 4시간 필요

Continuous Time Markov Chains

완료하는 데 4시간 필요
5개 동영상 (총 57분), 2 개의 읽기 자료, 6 개의 테스트
5개의 동영상
Generator matrix11m
Steady-state probabilities11m
Triple Modular Redundancy11m
Uniformisation12m
2개의 읽기 자료
Script: 5.1 and 5.220m
Script: 5.315m
6개 연습문제
Generator matrix30m
Test your understanding of CTMCs30m
Steady state probability in CTMCs10m
Identifying BSCCs12m
Test your understanding of Uniformisation30m
Uniformisation12m

자주 묻는 질문

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.