Recurrent Neural Network Properties and their Verification with Monte Carlo Techniques.
Dmitry VengertsevElena ShermanPublished in: SafeAI@AAAI (2020)
Keyphrases
- monte carlo
- recurrent neural networks
- neural network
- monte carlo simulation
- markov chain
- feed forward
- adaptive sampling
- monte carlo methods
- complex valued
- recurrent networks
- particle filter
- monte carlo tree search
- matrix inversion
- point processes
- importance sampling
- optimal strategy
- neural model
- markovian decision
- monte carlo method
- variance reduction
- artificial intelligence
- global illumination
- temporal difference
- hidden layer
- model checking
- simulated annealing
- echo state networks
- computational cost
- reservoir computing
- quasi monte carlo