@misc{indiciae17965199556f,
  title = {Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs},
  author = {Krishnendu Chatterjee and Wolfgang Dvorák and Monika Henzinger and Alexander Svozil},
  year = {2019},
  doi = {10.4230/lipics.concur.2019.7},
  url = {https://arxiv.org/abs/1909.05539},
  note = {Source identifier: 1909.05539}
}