Knowledge Gateway
Unlock your learning potential with industry insights and standards that matter. Share your email to begin.
Unlock your learning potential with industry insights and standards that matter. Share your email to begin.
Status : Active
Standard Type : Main
Document No : ISO/IEC 24029-2:2023
Document Year : 2023
Pages : 23
Edition : 1
Section Volume : Artificial intelligence (ISO/IEC JTC 1/SC 42.)
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.