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