Lista de

LTS
6
Keegan, Maureen. (2019). "Control y exploración de ambientes de sistemas reactivos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Brassesco, María Virginia. (2017). "Síntesis concurrente de controladores para juegos definidos con objetivos de Generalized Reactivity (1)". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Pasquini, Iván. (2016). "Localización y modelado simultáneos mediante generación y actualización automática de controladores discretos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Nahabedian, Leandro Ezequiel. (2014). "Hot-swap : una técnica para la generación y actualización automática de controladores discretos en tiempo de ejecución". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Arro Fritzler, Julio Maximiliano. (2014). "Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Cerrutti, Mariano Javier. (2014). "Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.