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: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Institute for Electrical and Electronics Engineers
2017
|