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 22553:2019 Paints and varnishes – Electro-deposition coatings – Part 1: Vocabulary
CDN $86.00 Add to cart -
ISO 80004:2020 Nanotechnologies – Vocabulary – Part 8: Nanomanufacturing processes
CDN $86.00 Add to cart -
ISO 5078:2025 Management of terminology resources – Terminology extraction
CDN $263.00 Add to cart -
ISO 80004:2011 Nanotechnologies – Vocabulary – Part 5: Nano/bio interface
CDN $86.00 Add to cart
