About this Course

최근 조회 4,407

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

완료하는 데 약 22시간 필요

권장: 5 weeks of study, each with around 2.h hours work...

영어

자막: 영어

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

완료하는 데 약 22시간 필요

권장: 5 weeks of study, each with around 2.h hours work...

영어

자막: 영어

제공자:

EIT 디지털  로고

EIT 디지털

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

1

1

완료하는 데 3시간 필요

Module 1: Computational Tree Logic

완료하는 데 3시간 필요
6개 동영상 (총 61분), 3 readings, 4 quizzes
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 yourself6m
Test your understanding of CTL semantics14m
Check your understanding of CTL20m
Model checking eventually, always and until22m
2

2

완료하는 데 2시간 필요

Discrete Time Markov Chains

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

3

완료하는 데 2시간 필요

Probabilistic Computational Tree Logic

완료하는 데 2시간 필요
5개 동영상 (총 36분), 3 readings, 6 quizzes
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 Syntax8m
Checking PCTL next4m
Test your understanding of PCTL Until6m
Checking time-bounded until16m
Checking unbounded until10m
Test your understanding of PCTL6m
4

4

완료하는 데 2시간 필요

Continuous Time Markov Chains

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

자주 묻는 질문

  • 강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.

  • 수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.

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