Título: Reducción de Simetrías para la versión modular de Non-blocking Director: Sebastián Uchitel Jurados: Victor Braberman y Hernán Gagliardi Resumen: En esta tesis tratamos con el problema de control dirigido con objetivos Safe y Non-blocking, más precisamente, con su versión modular. En esta versión, el input es una especificación [...]