First three years of the international verification of neural networks competition (VNN-COMP).
Christopher BrixMark Niklas MüllerStanley BakTaylor T. JohnsonChangliu LiuPublished in: Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
- neural network
- international competition
- pattern recognition
- years ago
- artificial neural networks
- model checking
- feed forward
- neural network model
- fuzzy logic
- back propagation
- multi layer
- world wide
- genetic algorithm
- fault diagnosis
- computer science
- neural nets
- fuzzy systems
- decision trees
- multi layer perceptron
- face verification
- functional verification