Improved Approximate Reachability Using Auxiliary State Variables.

Shankar G. Govindaraju David L. Dill Jules P. Bergmann

Published in: DAC (1999)

Keyphrases

state variables
state space
dynamic systems
heuristic search
random variables
reinforcement learning
dynamic programming
neural network
dynamic bayesian networks
transitive closure
partial least square regression