The Fixpoint-Iteration Algorithm for Parity Games.

Florian Bruse Michael Falk Martin Lange

Published in: GandALF (2014)

Keyphrases

learning algorithm
objective function
preprocessing
matching algorithm
fixpoint
database
artificial intelligence
search space
general purpose
convergence rate
deductive databases
update rule