Syntax of PCTL

video-placeholder
Loading...
Visualiser le programme de cours

Avis

4.2 (50 évaluations)

  • 5 stars
    56 %
  • 4 stars
    26 %
  • 3 stars
    6 %
  • 2 stars
    6 %
  • 1 star
    6 %

À 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

  • Placeholder

    Anne Remke

    Prof. dr.

Explorer notre catalogue

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