Relation-algebraic computation of fixed points with applications.

Rudolf Berghammer

Published in: J. Log. Algebraic Methods Program. (2006)

Keyphrases

fixed point
approximate value iteration
initial conditions
stationary points
dynamical systems
temporal difference learning
sufficient conditions
asymptotic properties
higher order
linear logic
worst case
markov decision processes
belief propagation
free energy