Characteristic Formulae for Relations with Nested Fixed Points

Luca Aceto Anna Ingólfsdóttir

Published in: FICS (2012)

Keyphrases

fixed point
approximate value iteration
sufficient conditions
closure operator
dynamical systems
initial conditions
temporal difference learning
stationary points
asymptotic properties
linear logic
belief propagation
free energy
image processing
objective function
image reconstruction