International Journal of Open Information Technologies

Tonkikh, Aleksey

• 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)

ISSN: 2307-8162