ISO 24029:2023
ISO 24029:2023 Artificial intelligence (AI) – Assessment of the robustness of neural networks – Part 2: Methodology for the use of formal methods
CDN $251.00
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.
Edition
1
Published Date
2023-08-01
Status
PUBLISHED
Pages
23
Language
English
Format
Secure PDF
Secure – PDF details
- Save your file locally or view it via a web viewer
- Viewing permissions are restricted exclusively to the purchaser
- Device limits - 3
- Printing – Enabled only to print (1) copy
See more about our Environmental Commitment
Abstract
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.
Previous Editions
Can’t find what you are looking for?
Please contact us at:
Related Documents
-
ISO 16520:2025 Tourism and related services – Restaurants and catering – Vocabulary
CDN $186.00 Add to cart -
ISO 20537:2025 Footwear – Identification of defects during visual inspection – Vocabulary
CDN $295.00 Add to cart -
ISO 2382:2015 Information technology – Vocabulary
CDN $0.00 Add to cart -
ISO 5078:2025 Management of terminology resources – Terminology extraction
CDN $251.00 Add to cart
