TY - RPRT TI - Deciding regular games: a playground for exponential time algorithms AU - Zihui Liang AU - Bakh Khoussainov AU - Mingyu Xiao PY - 2024 UR - https://arxiv.org/abs/2405.07188 ID - 2405.07188 ER -