Título: Collares Aritméticos Directora: Verónica Becher Jurados: Nicolás Álvarez y Paula Zabala Resumen: Fijemos un alfabeto. Un collar (n,k)-perfecto es una secuencia circular de símbolos del alfabeto donde cada bloque de longitud n ocurre k veces, pero en posiciones con distinta congruencia modulo k, para cualquier convención de la [...]

Título: Traducción automática de especificaciones Spectra a Modelos FSP Directores: Hernán Gagliardi, Sebastián Uchitel Jurados: Victor Braberman, Florencia Zanollo Resumen El problema de la síntesis de controladores consiste en construir automáticamente un sistema correcto por construcción que satisfaga un conjunto de objetivos, dadas ciertas suposiciones sobre su entorno. Para [...]

Título: Mejoras al algoritmo composicional de síntesis de controladores para problemas GR(1) Directores: Hernán Gagliardi, Sebastián Uchitel Jurados: Victor Braberman, Dario Turco Resumen En este trabajo se estudian mejoras de varios tipos al algoritmo composicional de síntesis de controladores para problemas GR(1). Principalmente se analizará el impacto de diversas heurísticas y mejoras para aumentar el [...]