Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil. Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. In Wan Fokkink, Rob van Glabbeek, editors, 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. Volume 140 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.