Найдено: 2
Overview ISO/IEC 24029-2:2023 - "Artificial intelligence (AI) - Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods" provides a structured methodology…