Login / Signup
Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation.
Omar El Mellouki
Mohamed Ibn Khedher
Mounim A. El-Yacoubi
Published in:
IEEE Access (2023)
Keyphrases
</>
abstract interpretation
model checking
neural network
termination analysis
multi layer
static analysis
active rules
reasoning engine
active databases
dynamic analysis
back propagation
fault diagnosis
neural network model
case study
source code
bp neural network