Computational Complexity Studies of Synchronous Boolean Finite Dynamical Systems.
Mitsunori OgiharaKei UchizawaPublished in: TAMC (2015)
Keyphrases
- dynamical systems
- computational complexity
- dynamic systems
- differential equations
- nonlinear dynamical systems
- state space
- qualitative simulation
- linear systems
- predictive state representations
- dynamical models
- nonlinear dynamics
- control theory
- np complete
- phase space
- partially observable
- boolean functions
- real valued
- np hard
- partially observable markov decision processes
- image sequences
- agent environment
- decision problems
- dynamical behavior
- qualitative differential equations