Results (10)

  • Stochastic Müller games are PSPACE-complete
    Conference paper
  • Markov decision processes with multiple long-run average objectives
    Conference paper
  • Stochastic ω-Regular Games
    Dissertation thesis
  • Optimal strategy synthesis in stochastic Müller games
    Conference paper
  • Generalized parity games
    Conference paper
  • Assume-guarantee synthesis
    Conference paper