Dependent latch identification in the reachable state space.
Chen-Hsuan LinChun-Yao WangPublished in: ASP-DAC (2009)
Keyphrases
- state space
- initial state
- reinforcement learning
- state variables
- dynamic programming
- heuristic search
- optimal policy
- automatic identification
- markov decision processes
- dynamical systems
- learning algorithm
- particle filter
- markov chain
- low power
- low cost
- high density
- reinforcement learning algorithms
- search space
- bayesian networks