PRODeep: a platform for robustness verification of deep neural networks.
Renjue LiJianlin LiCheng-Chao HuangPengfei YangXiaowei HuangLijun ZhangBai XueHolger HermannsPublished in: ESEC/SIGSOFT FSE (2020)
Keyphrases
- neural network
- pattern recognition
- model checking
- artificial neural networks
- multilayer perceptron
- real time
- fuzzy logic
- verification method
- activation function
- genetic algorithm
- database
- recurrent neural networks
- back propagation
- platform independent
- case study
- neural network model
- multi layer
- fuzzy systems
- network architecture
- face verification
- formal verification
- distributed architecture
- high robustness