Learning Spatio-Temporal Specifications for Dynamical Systems.
Suhail AlsalehiErfan AasiRon WeissCalin BeltaPublished in: L4DC (2022)
Keyphrases
- dynamical systems
- spatio temporal
- predictive state representations
- supervised learning
- learning tasks
- learning algorithm
- reinforcement learning methods
- connectionist networks
- reinforcement learning
- probabilistic model
- model checking
- learning problems
- control theory
- qualitative simulation
- nonlinear dynamical systems