Optimal Control of MDPs with Temporal Logic Constraints

Maria Svorenova, Ivana Cerna, Calin Belta

In this paper, we focus on formal synthesis of control policies for finite Markov decision processes with non-negative real-valued costs. We develop an algorithm to automatically g…