Interval Weight-Based Abstraction for Neural Network Verification
Autor: | Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel |
---|---|
Rok vydání: | 2022 |
Zdroj: | Lecture Notes in Computer Science ISBN: 9783031148613 |
Databáze: | OpenAIRE |
Externí odkaz: |