Parity objectives in countable MDPs

<p>We study countably infinite MDPs with parity objectives, and special cases with a bounded number of colors in the Mostowski hierarchy (including reachability, safety, Büchi and co-Büchi).</p> <br/> <p>In finite MDPs there always exist optimal memoryless deterministic (MD)...

Celý popis

Podrobná bibliografie
Hlavní autoři: Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D
Médium: Conference item
Vydáno: Institute for Electrical and Electronics Engineers 2017