Título: Sı́ntesis Dirigida de Controladores No Maximales para Requerimientos de tipo Non-Blocking
Director: Sebastian Uchitel
Jurados: Mariano Cerruti y Javier Marenco

Resumen:
Esta tesis se da en el contexto de planning (uno de los temas de Ingeniería II) y presenta un algoritmo para encontrar estrategias ganadoras en una especificación de juego de dos jugadores, modelado mediante autómatas finitos, discretos y determinísticos.
En detalle, presenta la primera implementación de síntesis de directores para resolver problemas de Control de Eventos Discretos con la propiedad central de tipo non-blocking. El método aprovecha la naturaleza composicional del problema y su input compacto, minimizando la explosión exponencial al componer la planta total. Con el enfoque de exploración on-the-fly de forma best-first-search guiada por distintas heurísticas, se busca reducir la parte de la planta a componer. La implementación fue incorporada al software MTSA, junto con una batería de tests para conservar su correctitud ante futuros cambios.