Linear Functional Fixed-points.

Nikolaj Bjørner Joe Hendrix

Published in: CAV (2009)

Keyphrases

fixed point
dynamical systems
sufficient conditions
linear logic
belief propagation
temporal difference learning
approximate value iteration
initial conditions
neural network
closed form
message passing