Fixed point guided abstraction refinement for alternating automata.

Pierre Ganty Nicolas Maquet Jean-François Raskin

Published in: Theor. Comput. Sci. (2010)

Keyphrases

fixed point
sufficient conditions
floating point
belief propagation
fixed point theorem
image sequences
search algorithm
multi view
first order logic
dynamical systems