Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies.
Thom S. BadingsWietze KoopsSebastian JungesNils JansenPublished in: CoRR (2024)
Keyphrases
- dynamical systems
- predictive state representations
- neural network
- learning algorithm
- reinforcement learning
- connectionist networks
- supervised learning
- differential equations
- machine learning
- state space
- decision problems
- learning tasks
- partially observable markov decision processes
- dynamical models
- nonlinear dynamical systems