New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance - Sûreté, Communication et Optimisation Access content directly
Conference Papers Year : 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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
39 View
14 Download

Altmetric

Share

Gmail Facebook X LinkedIn More