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 $263.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 80000:2025 Quantities and units – Part 13: Information science and technology
CDN $224.00 Add to cart -
ISO 80004:2020 Nanotechnologies – Vocabulary – Part 3: Carbon nano-objects
CDN $86.00 Add to cart -
ISO 15424:2025 Information technology – Automatic identification and data capture techniques – Data carrier identifiers (including symbology identifiers)
CDN $263.00 Add to cart -
ISO 8927:1991 Earth-moving machinery – Machine availability – Vocabulary
CDN $263.00 Add to cart
