We will be carrying out essential maintenance activity on this website on Sat 20 June between 0800 and 1800 UK time. You might experience some brief interruption or loss of some functionality. We apologise for any inconvenience this may cause.
Standards Development
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.
This technical report deals with the topic of robustness of neural networks which is an important aspect in order to build a trustworthiness framework for AI system (and in particular for machine learning systems such as neural networks). This document is based on the ISO/IEC TR 24029-2 which is currently at stage 40.60 (DIS approved)
You are now following this standard. Weekly digest emails will be sent to update you on the following activities:
You can manage your follow preferences from your Account. Please check your mailbox junk folder if you don't receive the weekly email.
You have successfully unsubscribed from weekly updates for this standard.
Comment on proposal
Required form fields are indicated by an asterisk (*) character.