Título: Aprendiendo políticas de exploración generales para escalar la síntesis de controladores discretos. Director: Sebastian Uchitel Jurados: Agusting Gravano y Pablo Riera Resumen: El área de síntesis de controladores discretos estudia la construcción automática de estrategias de comportamiento con garantías de correctitud, para sistemas descriptos formalmente por autómatas. La [...]