Fixed points for multi-cycle path detection.

Vijay Victor D'Silva Daniel Kroening

Published in: DATE (2009)

Keyphrases

fixed point
sufficient conditions
dynamical systems
initial conditions
temporal difference learning
approximate value iteration
linear logic
free energy
asymptotic properties
belief propagation
stationary points
image segmentation
lower bound
pairwise