Conditionally Optimal Algorithms for Generalized Büchi Games.

Krishnendu Chatterjee Wolfgang Dvorák Monika Henzinger Veronika Loitzenbauer

Published in: MFCS (2016)

Keyphrases

learning algorithm
worst case
computational complexity
computational cost
computationally efficient
orders of magnitude
machine learning algorithms
benchmark datasets
times faster
optimal solution
dynamic programming