Agenda

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