Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet.
Stefano DemarchiDario GuidottiLuca PulinaArmando TacchellaPublished in: FoMLAS@CAV (2023)
Keyphrases
- neural network
- pattern recognition
- back propagation
- face verification
- concurrent systems
- genetic algorithm
- model checking
- verification method
- rule extraction
- multilayer perceptron
- neural network model
- artificial neural networks
- fault diagnosis
- decision support
- database
- feed forward
- neural nets
- formal methods
- functional verification
- feedforward neural networks
- fingerprint verification
- radial basis function
- learning rules
- recurrent neural networks
- fuzzy logic
- control system
- feature extraction
- knowledge base
- databases