Login / Signup

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.

Natsuki UrabeIchiro 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