Deciding regular games: a playground for exponential time algorithms
Z Liang, B Khoussainov, M Xiao - arXiv preprint arXiv:2405.07188, 2024 - arxiv.org
Regular games form a well-established class of games for analysis and synthesis of reactive
systems. They include coloured Muller games, McNaughton games, Muller games, Rabin …
systems. They include coloured Muller games, McNaughton games, Muller games, Rabin …