Results (12)

  • Robustness of structurally equivalent concurrent parity games
    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
  • Mean payoff pushdown games
    Conference paper