Schloss Dagstuhl - Leibniz-Zentrum für Informatik

SHERPA: unknown

Groups

  1. Henzinger Group (22)
  2. Chatterjee Group (13)

Results (30)

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