An Application of Computer Algebra and Dynamical Systems.
Predrag S. StanimirovicYimin WeiDejan KolundzijaJuan Rafael SendraJuana SendraPublished in: CAI (2019)
Keyphrases
- dynamical systems
- computer algebra
- theorem prover
- dynamic systems
- differential equations
- state space
- phase space
- control theory
- computer algebra systems
- qualitative simulation
- agent environment
- nonlinear dynamical systems
- partially observable
- linear systems
- dynamical behavior
- machine learning
- nonlinear dynamics
- cellular automata
- predictive state representations
- automated theorem provers
- multi agent