1 citations · 1 across the 4 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2026
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…
cs.RO2024
Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward
Zetong Xuan, Yu Wang
Linear Temporal Logic (LTL) is a formal way of specifying complex objectives for planning problems modeled as Markov Decision Processes (MDPs). The planning problem aims to find th…