Results (2)

  • Controllable-choice message sequence graphs
    Conference paper
  • Games and Markov decision processes with mean payoff parity and energy parity objectives
    Conference paper