Autor Vilensky, Federico

Fecha de publicaciónTítuloTipoAutor(es)
jul-2023A Congruence-based Approach to Active Automata Learning from Neural Language ModelsDocumento de conferenciaMayr, Franz; Yovine, Sergio; Carrasco, Matías; Pan, Federico; Vilensky, Federico
nov-2022Active Learning Over Large AlphabetsTrabajo final de gradoVilensky, Federico
12-dic-2024Informe final del proyecto: Verificación de Sistemas Inteligentes con Componentes con Capacidad de AprendizajeReporte técnicoYovine, Sergio; Carrasco Piaggio, Matías; Mayr, Franz; Uchitel, Sebastián; Braberman, Victor; Gagliardi, Hernán; Martínez Varsi, Nicolás; Pan Suarez, Federico; Sanchez, Marco; Delgado, Tomás; Vilensky, Federico; Würth, Mateus; Dandois, Santiago José; Molinolo, Matías; Kidd, Johny; Da Silva Barloco, Juan Pedro; Garat, Alejo; Iturbide Noria, Martín
jul-2023Results of Neural-Checker Toolbox in Taysir 2023 CompetitionDocumento de conferenciaMayr, Franz; Yovine, Sergio; Carrasco, Matías; Garat, Alejo; Iturbide, Martín; da Silva, Juan; Vilensky, Federico
Mostrando resultados 1 a 4 de 4