TY  - RPRT
TI  - Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs
AU  - Krishnendu Chatterjee
AU  - Wolfgang Dvorák
AU  - Monika Henzinger
AU  - Alexander Svozil
PY  - 2019
DO  - 10.4230/lipics.concur.2019.7
UR  - https://arxiv.org/abs/1909.05539
ID  - 1909.05539
ER  -