Login / Signup
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.
Natsuki Urabe
Ichiro Hasuo
Published in:
CMCS (2018)
Keyphrases
</>
fixed point
sufficient conditions
initial conditions
approximate value iteration
belief propagation
dynamical systems
linear logic
neural network
asymptotic properties
multi view
stationary points