A Sound Abstraction Method Towards Efficient Neural Networks Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel. A Sound Abstraction Method Towards Efficient Neural Networks Verification. In Belgacem Ben Hedia, Yassine Maleh, Moez Krichen, editors, Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings. Volume 14368 of Lecture Notes in Computer Science, pages 76-89, Springer, 2023. [doi]

This author has not been identified. Look up 'Fateh Boudardara' in GoogleThis author has not been identified. Look up 'Abderraouf Boussif' in GoogleThis author has not been identified. Look up 'Mohamed Ghazel' in Google

runs on WebDSL