2698818

DANSK DS/ISO/IEC 24029-2 [ Active ]

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

standard by Dansk Standard , 08/08/2023

View all product details

Most Recent

Track It

Language:
    • Available Formats
    •  
    • Availability
    • Priced From ( in USD )
    • Printed Edition
    • Ships in 1-2 business days
    • $75.00
    • Add to Cart

Customers Who Bought This Also Bought

 

About This Item

 

Full 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.

 

Product Details

Edition:
23#
Published:
08/08/2023
Number of Pages:
32
File Size:
1 file , 1.5 MB
Product Code(s):
DS-031, DS-031
 

Document History

  1. DANSK DSF/ISO/IEC FDIS 24029-2


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

    • Historical Version

  2. DANSK DSF/ISO/IEC DIS 24029-2


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

    • Historical Version

  3. DANSK DS/ISO/IEC 24029-2

    👀 currently
    viewing


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

    • Most Recent