New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance

Fichier principal
Vignette du fichier
Viot_2022_SafeProcess_article.pdf (795.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03823896 , version 1 (05-01-2024)

Identifiants

Citer

Augustin Viot, Benjamin Lussier, Walter Schön, Armando Tacchella, Stéphane Geronimi. New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance. 11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2022), Jun 2022, Pafos, Cyprus. pp.623-630, ⟨10.1016/j.ifacol.2022.07.197⟩. ⟨hal-03823896⟩
38 Consultations
11 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More