TY  - RPRT
TI  - Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
AU  - Wojciech Czerwiński
AU  - Laure Daviaud
AU  - Nathanaël Fijalkow
AU  - Marcin Jurdziński
AU  - Ranko Lazić
AU  - Paweł Parys
PY  - 2018
DO  - 10.1137/1.9781611975482.142
UR  - https://arxiv.org/abs/1807.10546
ID  - 1807.10546
ER  -