1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.GT2024
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…
cs.GT2023★ 1 cited
Two new algorithms for solving Müller games and their applications
Zihui Liang, Bakh Khoussainov, Mingyu Xiao
Müller games form a well-established class of games for model checking and verification. These games are played on directed graphs where Player 0 and Player 1 play by…