ISO/IEC 24029-2:2023
BS ISO/IEC 24029-2:2023
Artificial intelligence (AI) – Assessment of the robustness of neural networks – Part 2: Methodology for the use of formal methods
This document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses…