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

全面介紹

書目詳細資料
Main Authors: Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D
格式: Conference item
出版: Institute for Electrical and Electronics Engineers 2017