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 [...]