Neural Network Verification using Polynomial Optimisation.

Matthew Newton Antonis Papachristodoulou

Published in: CDC (2021)

Keyphrases

neural network
genetic algorithm
group method of data handling
back propagation
artificial neural networks
neural network model
model checking
pattern recognition

fuzzy artmap
bp neural network
feed forward
neural network is trained
self organizing maps
fuzzy logic
hybrid neural network

multi layer perceptron
neural model
learning vector quantization
asynchronous circuits
hybrid intelligent
optimisation algorithm
verification method

database
learning rules
training algorithm
recurrent neural networks
fuzzy rules
multi objective
evolutionary algorithm