Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.

Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil

Browse the full CONCUR paper archive.