Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points.

Giovanna D'Agostino

Published in: TbiLLC (2005)

Keyphrases

fixed point
approximate value iteration
asymptotic properties
dynamical systems
sufficient conditions
temporal difference learning
linear logic
first order logic
stationary points
probabilistic model
input image
belief propagation
free energy