Büchi objectives in countable MDPs

<p>We study countably infinite Markov decision processes with Büchi objectives, which ask to visit a given subset F of states infinitely often. A question left open by T.P. Hill in 1979 [10] is whether there always exist ε-optimal Markov strategies, i.e., strategies that base decisions only on...

Full description

Bibliographic Details
Main Authors: Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P
Format: Conference item
Published: Schloss Dagstuhl 2019