Account:  - Login  |  Webstore  |  Shopping basket cart
English  |  Français  |  Nederlands

Publication details

Publication CODE Title
ISO/IEC 24029-2:2023 (2023-08) ARTIFICIAL INTELLIGENCE (AI) - ASSESSMENT OF THE ROBUSTNESS OF NEURAL NETWORKS - PART 2: METHODOLOGY FOR THE USE OF FORMAL METHODS
 
Price Excl. VAT Total number of pages, tables and drawings
137.00 € 23.
Description
This document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses on how to select, apply and manage formal methods to prove robustness properties.
Class  C990  (IEC PUBLICATIONS IEC PUBLICATIONS)
Available files
EN version

Status
Status IEC PUBLICATION
Situation Currently active
Origin
Committee ISO/IEC JTC 1/SC 42
Artificial Intelligence
Approval
BEC Approval 2023-08-01
ICS-Code (International Standards Classification) 35.020
NBN Status New
IEC publication date 2023-08-01
IEC file modification date 2023-08-07
IEC last modification date 2023-08-07