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

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D
التنسيق: Conference item
منشور في: Institute for Electrical and Electronics Engineers 2017