T14 - Verificação de modelos probabilísticos

11 dezembro 2014, 15:00 • David João Barros Henriques

Modelos probabilísticos. Cadeias de Markov. Sistema de transição induzido por uma cadeia de Markov. Conceitos básicos de teoria da probabilidade. Conjuntos de cilindros. Sigma-algebra induzida por cilindros. CTL probabilístico: sintaxe e semântica. Mensurabilidade de fórmulas PCTL. Verificação eficiente de propriedades de alcance. Caracterizações de propriedades por menor ponto fixo. Exercícios.