Login / Signup
Sequential Equivalence Checking without State Space Traversal.
C. A. J. van Eijk
Published in:
DATE (1998)
Keyphrases
</>
state space
reinforcement learning
heuristic search
state variables
dynamic programming
particle filter
dynamical systems
data structure
optimal policy
markov decision processes
state transition
markov chain
sequential search
real time
sequential data
probabilistic model
case study
social networks
machine learning