Login / Signup
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.
Elena Botoeva
Panagiotis Kouvaros
Jan Kronqvist
Alessio Lomuscio
Ruth Misener
Published in:
AAAI (2020)
Keyphrases
</>
dependency analysis
neural network
database
artificial neural networks
multimedia
data model
genetic programming
model checking
recurrent neural networks
multi layer