Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
Last updated: 7 Jan 2025
Development Stage
Pre-draft
Draft
Published
12 Jul 2022
1 Aug 2023
External Links
[site_reviews_summary assigned_posts=”post_id” hide=”bars,if_empty” text=”{rating} out of {max} stars ({num} reviews)”]
Let the community know
Categorisation
Domain: Horizontal
Scope: AI-specific
Topic: Formal verification, Robustness
Key Information
Committee: ISO/IEC JTC 1/SC 42
Discussion
[check_original_title]
