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)...

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: Institute for Electrical and Electronics Engineers 2017