課程信息
5,996 次近期查看

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

根據您的日程表重置截止日期。

中級

完成時間大約為22 小時

建議:5 weeks of study, each with around 2.h hours work...

英語(English)

字幕:英語(English)

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

根據您的日程表重置截止日期。

中級

完成時間大約為22 小時

建議:5 weeks of study, each with around 2.h hours work...

英語(English)

字幕:英語(English)

教學大綱 - 您將從這門課程中學到什麼

1
完成時間為 3 小時

Module 1: Computational Tree Logic

6 個視頻 (總計 61 分鐘), 3 個閱讀材料, 4 個測驗
6 個視頻
Welcome!1分鐘
Introduction13分鐘
Semantics of CTL13分鐘
Model Checking CTL9分鐘
The Until Operator12分鐘
The Always Operator9分鐘
3 個閱讀材料
Script 1 and 2.110分鐘
Script 2.2 and 2.310分鐘
Script 2.420分鐘
4 個練習
Formulate for yourself6分鐘
Test your understanding of CTL semantics14分鐘
Check your understanding of CTL20分鐘
Model checking eventually, always and until22分鐘
2
完成時間為 2 小時

Discrete Time Markov Chains

5 個視頻 (總計 49 分鐘), 2 個閱讀材料, 5 個測驗
5 個視頻
Evolution in Time13分鐘
Transient probabilities9分鐘
State classification5分鐘
Steady-state probabilities12分鐘
2 個閱讀材料
Script 3.1 and 3.210分鐘
Script 3.310分鐘
5 個練習
Evolution of DTMCs6分鐘
Compute transient probabilities10分鐘
Classification of DTMC states True or False?14分鐘
State classification16分鐘
Steady-state computation12分鐘
3
完成時間為 2 小時

Probabilistic Computational Tree Logic

5 個視頻 (總計 36 分鐘), 3 個閱讀材料, 6 個測驗
5 個視頻
Model checking and the Next operator7分鐘
Time-bounded Until6分鐘
Backwards computation4分鐘
Unbounded Until8分鐘
3 個閱讀材料
Script: 4.1 and 4.210分鐘
Script: 4.3.1 and 4.3.225分鐘
Script 4.3.310分鐘
6 個練習
PCTL Syntax8分鐘
Checking PCTL next4分鐘
Test your understanding of PCTL Until6分鐘
Checking time-bounded until16分鐘
Checking unbounded until10分鐘
Test your understanding of PCTL6分鐘
4
完成時間為 2 小時

Continuous Time Markov Chains

5 個視頻 (總計 57 分鐘), 2 個閱讀材料, 6 個測驗
5 個視頻
Generator matrix11分鐘
Steady-state probabilities11分鐘
Triple Modular Redundancy11分鐘
Uniformisation12分鐘
2 個閱讀材料
Script: 5.1 and 5.220分鐘
Script: 5.315分鐘
6 個練習
Generator matrix6分鐘
Test your understanding of CTMCs6分鐘
Steady state probability in CTMCs10分鐘
Identifying BSCCs12分鐘
Test your understanding of Uniformisation6分鐘
Uniformisation12分鐘

講師

Avatar

Anne Remke

Prof. dr.
Computer Science

關於 EIT 数字

EIT Digital is a pan-European organization whose mission is to foster digital technology innovation and entrepreneurial talent for economic growth and quality of life. By linking education, research and business, EIT Digital empowers digital top talents for the future. EIT Digital provides online and blended Innovation and Entrepreneurship education to raise quality, increase diversity and availability of the top-level content provided by 20 leading technical universities around Europe. The universities deliver a unique blend of the best of technical excellence and entrepreneurial skills and mindset to digital engineers and entrepreneurs at all stages of their careers. The academic partners support Coursera’s bold vision to enable anyone, anywhere, to transform their lives by accessing the world’s best learning experience. This means that EIT Digital gradually shares parts of its entrepreneurial and academic education programmes to demonstrate its excellence and make it accessible to a much wider audience. EIT Digital’s online education portfolio can be used as part of blended education settings, in both Master and Doctorate programmes, and for professionals as a way to update their knowledge. EIT Digital offers an online programme in 'Internet of Things through Embedded Systems'. Achieving all certificates of the online courses and the specialization provides an opportunity to enroll in the on campus program and get a double degree. Please visit https://www.eitdigital.eu/eit-digital-academy/ ...

常見問題

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

還有其他問題嗎?請訪問 學生幫助中心