Syntax of PCTL

video-placeholder
Loading...
Ver programa

Reseñas

4.2 (49 calificaciones)

  • 5 stars
    57,14 %
  • 4 stars
    26,53 %
  • 3 stars
    4,08 %
  • 2 stars
    6,12 %
  • 1 star
    6,12 %

De la lección

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.

Impartido por:

  • Placeholder

    Anne Remke

    Prof. dr.

Explora nuestro catálogo

Inscríbete de manera gratuita y obtén recomendaciones personalizadas, actualizaciones y ofertas.