Dynamical system specifications as validation media.
József GyörkösIvan RozmanTatjana WelzerPublished in: ACM SIGPLAN Notices (1990)
Keyphrases
- dynamical systems
- dynamical behavior
- nonlinear dynamical systems
- differential equations
- dynamic systems
- state space
- phase space
- agent environment
- linear systems
- discrete event
- predictive state representations
- lyapunov exponents
- discrete dynamical systems
- figure ground separation
- machine learning
- connectionist networks
- cellular automata