Syntax of PCTL

Loading...
查看授課大綱

審閱

4.3(42 個評分)
  • 5 stars
    62%
  • 4 stars
    26%
  • 2 stars
    5%
  • 1 star
    7%
從本節課中
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.

探索我們的目錄

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