title: Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
title: Intelligence artificielle (IA) — Evaluation de la robustesse de réseaux neuronaux — Partie 2: Méthodologie pour l'utilisation de méthodes formelles