A numerical verification method for multi-class feed-forward neural networks.
Daniel GrimmDávid TollnerDavid KrausÁrpád TörökEric SaxZsolt SzalayPublished in: Expert Syst. Appl. (2024)
Keyphrases
- multi class
- feed forward neural networks
- verification method
- back propagation
- model checking
- neural network
- multi layer
- temporal logic
- artificial neural networks
- feed forward
- activation function
- hidden layer
- multi class classification
- basis functions
- support vector machine
- pairwise
- multi class boosting
- feature selection
- fuzzy inference system
- multiple classes
- recurrent neural networks
- training algorithm
- base classifiers
- multi task
- neural nets
- bp neural network
- multilayer perceptron
- learning algorithm
- error correcting output codes
- machine learning
- data mining