Login / Signup
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.
Yang Guo
WanXia Qu
Long Zhang
Weixia Xu
Published in:
J. Supercomput. (2012)
Keyphrases
</>
state space
three dimensional
lightweight
reinforcement learning
data sets
state abstraction
neural network
high level
search space
optimal policy
heuristic search
markov chain
dynamical systems
markov decision processes
modeling language