Relatório Técnico de Pesquisa – Análise Comparativa de Ferramentas Para Análise Formal em Redes Neurais

O objetivo deste relatório técnico de pesquisa é apresentar a evolução e os resultados da atividade “Análise Comparativa de Ferramentas Para Verificação Formal em Redes Neurais”, pertencente ao escopo da pesquisa de Mestrado do aluno Gabriel Stephano Santos. Como parte da fase inicial dessa pesquisa, realizada dentro do escopo do Programa de Pré-Mestrado em Engenharia de Computação (PPMEC) do Programa de Pesquisa em Engenharia de Computação (PqEC), foi realizada uma Iniciação Científica destinada à publicação no 32° Simpósio Internacional de Iniciação Científica e Tecnológica da USP (SIICUSP).