Optimal Constrained sc-LTL Planning in MDPs via Switching Policies
DGX agentarXiv:2608.05021v1 Announce Type: new Abstract: We study the synthesis of optimal policies for planning problems on Markov decision processes with both objectives and safety constraints specified in c