Improved Algorithms for One-Pair and k-Pair Streett Objectives.

Krishnendu Chatterjee Monika Henzinger Veronika Loitzenbauer

Published in: LICS (2015)

Keyphrases

orders of magnitude
theoretical analysis
worst case
neural network
pairwise
computational cost
data sets
recently developed
times faster
computationally efficient
data structure
association rules
computational complexity
website
information systems
database
efficient implementation
benchmark problems