Stroeva, Ekaterina, Lomonosov Moscow State University, Russian Federation
-
Vol 10, No 10 (2022) - Theoretical Informatics and Computer Science
Methods for Formal Verification of Artificial Neural Networks: A Review of Existing Approaches
Abstract PDF (Russian)