Schloss Dagstuhl - Leibniz-Zentrum für Informatik

SHERPA: unknown

Groups

  1. Chatterjee Group (25)
  2. Henzinger Group (10)
  3. Edelsbrunner Group (1)

Results (25)

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