Results (6)

  • Algorithms for game metrics
    Conference paper
  • Stochastic Müller games are PSPACE-complete
    Conference paper
  • Markov decision processes with multiple long-run average objectives
    Conference paper
  • Semiperfect-information games
    Conference paper