Lista de

FLTL
3
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.
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.