TY  - RPRT
TI  - Good-for-games $ω$-Pushdown Automata
AU  - Karoliina Lehtinen
AU  - Martin Zimmermann
PY  - 2023
DO  - 10.46298/lmcs-18(1:3)2022
UR  - https://arxiv.org/abs/2001.04392
ID  - 2001.04392
ER  -