• Solving infinite games on trees with back-edges

      Liu, J; Khoussainov, B; Gandhi, A (Australian Computer Society (ACS), 2012)
      We study the computational complexity of solving the following problem: Given a game G played on a fi- nite directed graph G, output all nodes in G from which a specific player wins the game G. We pro- vide algorithms for ...