Schloss Dagstuhl - Leibniz-Zentrum für Informatik

SHERPA: unknown

Groups

  1. Chatterjee Group (3)
  2. Henzinger Group (1)

Results (3)

  • Stochastic Müller games are PSPACE-complete
    Conference paper
  • Markov decision processes with multiple long-run average objectives
    Conference paper