Results (6)

  • Perfect-information stochastic mean-payoff parity games
    Conference paper
  • Robustness of structurally equivalent concurrent parity games
    Conference paper
  • Model-checking omega-regular properties of interval Markov chains
    Conference paper
  • Optimal strategy synthesis in stochastic Müller games
    Conference paper
  • Generalized parity games
    Conference paper