Syntax of PCTL

Loading...
EIT Digital
4.2 (29 notes) | 3.2K étudiants inscrits
Visualiser le programme de cours

Avis

4.2 (29 notes)
  • 5 stars
    18 ratings
  • 4 stars
    7 ratings
  • 2 stars
    2 ratings
  • 1 star
    2 ratings
À partir de la leçon
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.

Enseigné par

  • Anne Remke

    Anne Remke

    Prof. dr.

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.