New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance
| Autor: | Augustin Viot, Benjamin Lussier, Walter Schön, Armando Tacchella, Stéphane Géronimi |
|---|---|
| Přispěvatelé: | Viot, Augustin |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: |
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]
Control and Systems Engineering [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF] [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO] [INFO.INFO-NE] Computer Science [cs]/Neural and Evolutionary Computing [cs.NE] [STAT.ML] Statistics [stat]/Machine Learning [stat.ML] |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|