Refine Results
Years
  1. 2012 (1)
Publishers
  1. SIAM (1)
Affiliation
  1. IST Austria (1)
Open access
  1. yes (repository) (1)
Peer reviewed
  1. no (1)
Invited
  1. no (1)

Results (1)

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