Counter-Example Guided Abstract Refinement for Verification of Neural Networks.
Stefano DemarchiDario GuidottiPublished in: CPS Summer School, PhD Workshop (2022)
Keyphrases
- neural network
- high level
- artificial neural networks
- model checking
- fuzzy logic
- genetic algorithm
- pattern recognition
- formal analysis
- formal verification
- recurrent neural networks
- verification method
- real time
- face verification
- higher level
- low level
- neural network model
- multilayer perceptron
- multi layer
- asynchronous circuits
- step wise
- feedforward neural networks
- functional verification
- rule extraction
- formal methods
- activation function
- multi layer perceptron
- network architecture
- neural nets
- data mining