Strategy complexity of parity objectives in countable MDPs

We study countably infinite MDPs with parity objectives. Unlike in finite MDPs, optimal strategies need not exist, and may require infinite memory if they do. We provide a complete picture of the exact strategy complexity of ε-optimal strategies (and optimal strategies, where they exist) for all sub...

Täydet tiedot

Bibliografiset tiedot
Päätekijät: Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P
Aineistotyyppi: Conference item
Kieli:English
Julkaistu: Schloss Dagstuhl 2020