Backtracking Games and Inflationary Fixed Points.

Anuj Dawar Erich Grädel Stephan Kreutzer

Published in: ICALP (2004)

Keyphrases

fixed point
sufficient conditions
temporal difference learning
approximate value iteration
video games
search algorithm
dynamical systems
computer games
game playing
educational games
asymptotic properties
linear logic
stationary points
belief propagation
initial conditions
search space
game play