Syntax of PCTL

Loading...
來自 EIT Digital 的課程
Quantitative Model Checking
23 個評分
EIT Digital
23 個評分
從本節課中
Probabilistic Computational Tree Logic
We discuss the syntax and semantics of Probabilistic Computational Tree logic and check out the model checking algorithms that are necessary to decide the validity of different kinds of PCTL formulas. We shortly discuss the complexity of PCTL model checking.

與講師見面

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

探索我們的目錄

免費加入並獲得個性化推薦、更新和優惠。