Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella. Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. In Mario Alviano, Gianluigi Greco, Francesco Scarcello, editors, AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings. Volume 11946 of Lecture Notes in Computer Science, pages 405-417, Springer, 2019. [doi]
Abstract is missing.