A Sound Abstraction Method Towards Efficient Neural Networks Verification.

Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel

Browse the full VECoS paper archive.