Syntax of PCTL

Loading...
シラバスを表示

レビュー

4.3 (46 件の評価)
  • 5 stars
    58.69%
  • 4 stars
    26.08%
  • 3 stars
    4.34%
  • 2 stars
    4.34%
  • 1 star
    6.52%
レッスンから
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.

講師

  • Placeholder

    Anne Remke

    Prof. dr.

コース一覧で検討

サインアップは無料です。今すぐサインアップして、パーソナライズされたお勧め、更新、サービスを利用しましょう。