Syntax of PCTL

Loading...
Visualizar o programa do curso

Avaliações

4.3 (44 classificações)
  • 5 stars
    59.09%
  • 4 stars
    25%
  • 3 stars
    4.54%
  • 2 stars
    4.54%
  • 1 star
    6.81%
Na lição
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.

Ministrado por

  • Placeholder

    Anne Remke

    Prof. dr.

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.