Deciding regular games: a playground for exponential time algorithms

Zihui Liang, Bakh Khoussainov, Mingyu Xiao

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 games…