Results (1)

  • An O(n2) time algorithm for alternating Büchi games
    Conference paper