Artificial intelligence (AI) \x97 Assessment of the robustness of neural networks \x97 Part 2: Methodology for the use of formal methods
| Accuris | |
|---|---|
| Product Category | Standards and Technical Documents |
| Product Number | ISO/IEC 24029-2 |
| Product Name | Artificial intelligence (AI) \x97 Assessment of the robustness of neural networks \x97 Part 2: Methodology for the use of formal methods |