Solovay's Completeness Without Fixed Points.

Published in: WoLLIC (2017)

Keyphrases

fixed point
sufficient conditions
dynamical systems
approximate value iteration
belief propagation
initial conditions
temporal difference learning
linear logic
free energy
graph cuts
asymptotic properties