Computation of Least Fixed Points.

Mihalis Yannakakis

Published in: MFCS (2012)

Keyphrases

fixed point
sufficient conditions
temporal difference learning
linear logic
approximate value iteration
belief propagation
initial conditions
asymptotic properties
image processing
dynamical systems
free energy
high quality
graphical models
stationary points
closure operator