@misc{indiciae03e4bbdfe052,
  title = {Deciding regular games: a playground for exponential time algorithms},
  author = {Zihui Liang and Bakh Khoussainov and Mingyu Xiao},
  year = {2024},
  url = {https://arxiv.org/abs/2405.07188},
  note = {Source identifier: 2405.07188}
}