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