Objetivos
- Manejar los conceptos de lógicas temporales probabilísticas.
- Entender los algoritmos de decisión para determinar si un sistema cumple o no una propiedad de estabilidad.
- Saber sintetizar estrategias ganadoras para juegos determinísticos o probabilísticos y para el control de sistemas discretos de eventos.
Forma de Evaluación:
Exámen o proyecto.