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

Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer

Browse the full LICS paper archive.