MATE 4178 Model Checking Probabilístico

El curso presenta la verificación de sistemas determinísticos, posibilísticos y, en particular, probabilísticos. Incluye prerrequisitos de probabilidad, álgebra y lógica (por ejemplo: cadenas de Markov, lógicas temporales, algebras de procesos), introduce los algoritmos fundamentales de Model-checking y las técnicas de Diagramas Booleanos de decisión (BDDs), y culmina con los resultados recientes para sistemas y juegos probabilísticos. El objetivo principal es entender cómo se puede verificar que protocolos o sistemas complejos cumplan con las propiedades esperadas de estabilidad, eguridad, confiabilidad etc. y cómo diseñar estrategias “ganadoras” para juegos determinísticos o probabilísticos.

Créditos

4

Periodo en el que se ofrece el curso

201718

Idioma en el que se ofrece el curso

Español