Efficient State Space Pruning in Symbolic Backward Traversal.

Gianpiero Cabodi Paolo Camurati Stefano Quer

Published in: ICCD (1994)

Keyphrases

state space
search space
decision trees
dynamical systems
computationally expensive
forward search
cost effective
tree pruning
pruning strategy
reinforcement learning algorithms
dynamic systems
markov decision processes
heuristic search
lightweight
sufficient conditions
reinforcement learning
high level