Scalable Quantitative Verification For Deep Neural Networks.
Teodora BalutaZheng Leong ChuaKuldeep S. MeelPrateek SaxenaPublished in: ICSE (2021)
Keyphrases
- decision trees
- neural network
- pattern recognition
- artificial neural networks
- fuzzy logic
- model checking
- neural network model
- back propagation
- highly scalable
- quantitative and qualitative
- feedforward neural networks
- formal analysis
- face verification
- fuzzy systems
- real time
- formal verification
- quantitative measures
- web scale
- deep learning
- qualitative and quantitative
- multi layer
- neural nets
- lightweight
- evolutionary algorithm
- data sets