Unbounded Until

Loading...
Del curso dictado por EIT Digital
Quantitative Model Checking
23 calificaciones
EIT Digital
23 calificaciones
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.

Conoce a los instructores

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Explora nuestro catálogo

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