Neural Network Verification using Polynomial Optimisation.
Matthew NewtonAntonis PapachristodoulouPublished 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