Zihui Liang, Bakh Khoussainov, Mingyu Xiao: Exponential time algorithms for deciding regular games. Inf. Comput. 310: 105443 (2026)