Sky Bear Technical Standards - Home
Search
×
FR

Placeholder headline

This is just a placeholder headline

B51-14 (R2019) – Boiler, pressure vessel, and pressure piping code

$

362

BUY NOW

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 $259.00

SKU: e47f61f58b7e Categories: ,

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 Detail Icon

English

Format Secure Icon

Secure PDF

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: