Modelos para la descripción de sistemas temporizados estocásticos

En esta charla introduzco diversos marcos para para el modelado de procesos estocásticos, enfocándome principalmente en cadenas de Markov, procesos de decisión de Markov, autómatas temporizados probabilistas (PTA) u autómatas estocásticos. De está manera se presenta un espectro relativamente amplio de los marcos matemático para el modelado y análisis detrás de herramientas como Prism, Storm, Modest y FIG.

La charla se da dentro de la cooperación de nuestro grupo de trabajo con Invap en el marco del proyecto MISSION.