Login / Signup
Complete Non-Orders and Fixed Points.
Akihisa Yamada
Jérémy Dubut
Published in:
Arch. Formal Proofs (2019)
Keyphrases
</>
fixed point
sufficient conditions
belief propagation
free energy
linear logic
asymptotic properties
dynamical systems
approximate value iteration
temporal difference learning
initial conditions