New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance - Sûreté, Communication et Optimisation
Conference Papers Year : 2022

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

Domains

Machine Learning [stat.ML] Artificial Intelligence [cs.AI] Robotics [cs.RO] Performance [cs.PF] Neural and Evolutionary Computing [cs.NE]
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)

Benjamin Lussier  : Connect in order to contact the contributor

https://hal.science/hal-03823896

Submitted on : Friday, January 5, 2024-9:48:50 AM

Last modification on : Friday, January 5, 2024-1:47:33 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-COMPIEGNE HEUDIASYC HDS_SCOP
50 View
44 Download

Altmetric

Share

More