A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees.
Min WuMatthew WickerWenjie RuanXiaowei HuangMarta KwiatkowskaPublished in: CoRR (2018)
Keyphrases
- neural network
- artificial neural networks
- quality guarantees
- neural network model
- pattern recognition
- genetic algorithm
- fuzzy logic
- back propagation
- model checking
- learning tools
- face verification
- neural network is trained
- expert systems
- recurrent neural networks
- face recognition
- learning process
- approximation guarantees
- learning games
- formal verification
- signature verification
- formal methods
- learning rules
- activation function
- network architecture
- fuzzy systems
- neural nets
- feed forward
- radial basis function
- learning systems