MATE4178 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.
Periodo en el que se ofrece el curso
201718
Idioma en el que se ofrece el curso
Español
Página del catálogo en este curso