Verification of Recurrent Neural Networks with Star Reachability.
Hoang-Dung TranSung Woo ChoiXiaodong YangTomoya YamaguchiBardh HoxhaDanil V. ProkhorovPublished in: HSCC (2023)
Keyphrases
- recurrent neural networks
- feed forward
- neural network
- reservoir computing
- echo state networks
- recurrent networks
- complex valued
- artificial neural networks
- feedforward neural networks
- cascade correlation
- nonlinear dynamic systems
- neural model
- hidden layer
- model checking
- long short term memory
- signature verification
- learning algorithm
- real time
- nonlinear systems
- hebbian learning
- star shaped
- dynamic environments
- data mining