ISO/IEC AWI 24029-2 Artificial intelligence (AI) - Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods

General information

• Status: Under development
• Publication date :
• Working Groups :
• Category: Artificial Intelligence
• SDO:

  ISO/IEC
• Latest published version :

  https://www.iso.org/standard/79804.html