TY  - RPRT
TI  - Conditionally Optimal Algorithms for Generalized Büchi Games
AU  - Krishnendu Chatterjee
AU  - Wolfgang Dvořák
AU  - Monika Henzinger
AU  - Veronika Loitzenbauer
PY  - 2016
DO  - 10.4230/lipics.mfcs.2016.25
UR  - https://arxiv.org/abs/1607.05850
ID  - 1607.05850
ER  -