1 citations · 1 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
eess.SY2026
Exact Model-Free Policy Iteration for Co-safe LTL Planning
Zetong Xuan, Yu Wang
This work studies model-free reinforcement learning for co-safe linear temporal logic (sc-LTL) objectives in finite Markov decision processes, which can be reduced to maximal reach…
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…