LSTM Neural Networks: Input to State Stability and Probabilistic Safety Verification.
Fabio BonassiEnrico TerziMarcello FarinaRiccardo ScattoliniPublished in: CoRR (2019)
Keyphrases
- neural network
- recurrent neural networks
- genetic algorithm
- pattern recognition
- fuzzy logic
- input data
- data driven
- state space
- probabilistic model
- artificial neural networks
- model checking
- bayesian networks
- hidden markov models
- generative model
- back propagation
- radial basis function
- neural network model
- uncertain data
- multi layer