Interval Weight-Based Abstraction for Neural Network Verification.

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel

Browse the full SAFECOMP paper archive.