The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks.
Luca MarzariDavide CorsiFerdinando CicaleseAlessandro FarinelliPublished in: CoRR (2023)
Keyphrases
- neural network
- training process
- pattern recognition
- fuzzy logic
- genetic algorithm
- face verification
- back propagation
- neural network model
- network architecture
- formal verification
- formal methods
- model checking
- multilayer perceptron
- feedforward neural networks
- multi layer perceptron
- functional verification
- competitive learning
- verification method
- real time
- input variables
- multi layer
- neural nets
- fault diagnosis
- semi supervised
- artificial neural networks
- computer vision
- artificial intelligence
- data sets