Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation. - Omar El Mellouki; Mohamed Ibn Khedher; Mounim A. El-Yacoubi (IEEE Access, 2023)