Contenido
- Sistemas de transición etiquetados (labelled transition systems), estructuras de Kripke, autómatas, sistemas de eventos discretos.
- Lógicas Temporales: CTL, LTL, cálculo mu.
- Codificación de propiedades en diagramas booleanos de decisión (BDDs).
- Algoritmos de decisión de model checking.
- Juegos y estrategias. El problema del control de un sistema.
- Síntesis de estrategias en juegos probabilísticos.