Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks

Yu Chen, Xuanyuan Yin, Shaoyuan Li +1

We investigate the problem of optimal control synthesis for Markov Decision Processes (MDPs), addressing both qualitative and quantitative objectives. Specifically, we require the…