Faster algorithms for mean-payoff games.

Lubos Brim Jakub Chaloupka Laurent Doyen Raffaella Gentilini Jean-François Raskin

Published in: Formal Methods Syst. Des. (2011)

Keyphrases

theoretical analysis
game theory
significant improvement
orders of magnitude
recently developed
search algorithm
computational complexity
optimization problems
benchmark datasets
highly efficient
data sets
image segmentation
data streams
computational cost
incomplete information
perfect information