Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal).
Patrick MusauTaylor T. JohnsonPublished in: ARCH@ADHS (2018)
Keyphrases
- recurrent neural networks
- neural network
- neural model
- feed forward
- complex valued
- model checking
- artificial neural networks
- recurrent networks
- hidden layer
- optimal control
- dynamical systems
- feedforward neural networks
- markov chain
- cascade correlation
- echo state networks
- markov processes
- artificial intelligence
- long short term memory
- reservoir computing
- nonlinear dynamic systems
- real world
- neural models
- signature verification
- decision making