Tower Induction and Up-to Techniques for CCS with Fixed Points.

Steven Schäfer Gert Smolka

Published in: RAMiCS (2017)

Keyphrases

fixed point
sufficient conditions
dynamical systems
linear logic
initial conditions
temporal difference learning
approximate value iteration
free energy
asymptotic properties
belief propagation
machine learning
inductive logic programming
stationary points
probabilistic model
higher order