Data-driven Approaches for Formal Synthesis of Dynamical Systems.
Milad KazemiPublished in: AAMAS (2022)
Keyphrases
- dynamical systems
- data driven approaches
- differential equations
- dynamic systems
- linear systems
- state space
- qualitative simulation
- nonlinear dynamical systems
- phase space
- control theory
- nonlinear dynamics
- agent environment
- discrete dynamical systems
- predictive state representations
- machine learning
- dynamical models
- multi agent
- neural network