1 citations · 1 across the 1 of their papers we have counts for
3 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…
cs.GT2023
Connectivity in the presence of an opponent
Zihui Liang, Bakh Khoussainov, Toru Takisaka +1
The paper introduces two player connectivity games played on finite bipartite graphs. Algorithms that solve these connectivity games can be used as subroutines for solving Müller g…