Verifying and Improving Neural Networks Using Testing-Based Formal Verification.
Haiyi LiuShaoying LiuAi LiuDingbang FangGuangquan XuPublished in: SOFL+MSVL (2022)
Keyphrases
- reinforcement learning
- formal verification
- model checking
- neural network
- temporal logic
- symbolic model checking
- model checker
- state space
- automated verification
- bounded model checking
- pattern recognition
- artificial neural networks
- formal specification
- domain specific
- genetic algorithm
- neural nets
- recurrent neural networks
- multilayer perceptron
- associative memory
- multi layer
- planning domains
- automated reasoning
- feed forward
- neural network model
- self organizing maps
- fuzzy logic
- functional verification