Proper Functors and Fixed Points for Finite Behaviour.

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

fixed point
sufficient conditions
dynamical systems
approximate value iteration
initial conditions
asymptotic properties
linear logic
stationary points
belief propagation
temporal difference learning
bayesian networks
markov random field