Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis.
Hongce ZhangMaxwell ShinnAarti GuptaArie GurfinkelNham LeNina NarodytskaPublished in: ECAI (2020)
Keyphrases
- recurrent neural networks
- reachability analysis
- cognitive tasks
- model checking
- timed automata
- neural network
- markov decision processes
- feed forward
- recurrent networks
- reservoir computing
- echo state networks
- artificial neural networks
- neural model
- incremental algorithms
- sensemaking
- state space
- information retrieval
- back propagation
- nonlinear dynamic systems