Optimal Constrained sc-LTL Planning in MDPs via Switching Policies

Zetong Xuan, Yu Wang

We study the synthesis of optimal policies for planning problems on Markov decision processes with both objectives and safety constraints specified in co-safe linear temporal logic…