Search
Now showing items 1-1 of 1
Fair Omega-regular Games
(27th International Conference on Foundations of Software Science and Computation Structures, 2024)
We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph G=(V,E) and a set of fair moves E_f a subset of E a player is said ...