Refine Results
Affiliation
  1. IST Austria (19)
Peer reviewed
  1. yes (17)
  2. no (2)
Invited
  1. no (19)

Results (19)

  • Edit distance for pushdown automata
    Conference paper
  • Edit distance for timed automata
    Conference paper
  • The complexity of ergodic mean payoff games
    Conference paper
  • Infinite-duration Poorman-bidding games
    Conference paper