Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors.

Natsuki Urabe Ichiro Hasuo

Published in: CoRR (2018)

Keyphrases

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