Refine Results
Years
  1. 2012 (14)
Affiliation
  1. IST Austria (14)
Open access
  1. yes (repository) (14)
Peer reviewed
  1. no (10)
  2. yes (4)
Invited
  1. no (14)

Results (14)

  • Robustness of structurally equivalent concurrent parity games
    Conference paper
  • Synthesizing protocols for digital contract signing
    Conference paper
  • Games and Markov decision processes with mean payoff parity and energy parity objectives
    Conference paper
  • An O(n2) time algorithm for alternating Büchi games
    Conference paper