An Abstraction-Based Framework for Neural Network Verification.

Yizhak Yisrael Elboher Justin Gottschlich Guy Katz

Published in: CoRR (2019)

Keyphrases

neural network
high level
artificial neural networks
main contribution
genetic algorithm
theoretical framework
real world
multiscale
pattern recognition
fuzzy logic