Login / Signup
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search.
Patrick Henriksen
Alessio R. Lomuscio
Published in:
ECAI (2020)
Keyphrases
</>
neural network
search algorithm
query refinement
search space
neural fuzzy
efficient search
fuzzy logic
artificial neural networks
pattern recognition
web search
constraint satisfaction problems
back propagation
search methods
adaptive control
search efficiency
multi agent
genetic algorithm
data sets