The paper "Improved Algorithms for One-Pair and k-Pair Streett Objectives" by Krishnendu Chatterjee, Monika Henzinger, and Veronika Loitzenbauer has been accepted to LICS 2015.
The paper "Improved Algorithms for One-Pair and k-Pair Streett Objectives" by Krishnendu Chatterjee, Monika Henzinger, and Veronika Loitzenbauer has been accepted to LICS 2015.