SCHLÜTER, Maximilian; NOLTE, Gerrit. Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models. Electronic Communications of the EASST, [S. l.], v. 82, 2023. DOI: 10.14279/tuj.eceasst.82.1225. Disponível em: https://eceasst.org/index.php/eceasst/article/view/2317. Acesso em: 16 jul. 2024.