Piecewise Linear Neural Network verification: A comparative study.

Rudy Bunel Ilker Turkaslan Philip H. S. Torr Pushmeet Kohli M. Pawan Kumar

Published in: CoRR (2017)

Keyphrases

piecewise linear
neural network
dynamic programming
chaotic map
regression algorithm
finite sets
back propagation
neural network model
artificial neural networks
model checking
genetic algorithm
decision trees
feature extraction
pattern recognition
active learning
image classification