Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial).

Published in: CONCUR (2018)

Keyphrases

fixed point
sufficient conditions
dynamical systems
constraint databases
finite state machines
floating point
image processing
variational inequalities
fixed point theorem
computer vision
high quality
image registration
belief propagation