ISO/IEC 24029-2:2023

Current Revision
Artificial intelligence (AI) - Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods

Best Price Guarantee Aug 1, 2023 English 1 Pages

Sub Total (1 Item(s)) $ 0.00
Estimated Shipping $ 0.00
Total (Pre-Tax) $ 0.00

You own the digital copy of this edition

View in Library
or
International Organization for Standardization Logo

ISO/IEC 24029-2:2023

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

PUBLISH DATE 2023
ISO/IEC 24029-2:2023

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.

Loading...

Failed to load document history.

Publish Date Document Id Type View