Controlled semi-Markov models, the discounted case

Abstract Let the state space S be a Borel subset of a complete separable metric space, the action space A compact metric. Existence of stationary optimal policies is proved for general semi-Markov models with possibly unbounded rewards. The corresponding dynamic programming equations are also derived. The paper presents a synthesis and extensions of earlier results.