3 papers
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…
eess.SY2025
Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives
Zetong Xuan, Yu Wang
Perception-related tasks often arise in autonomous systems operating under partial observability. This work studies the problem of synthesizing optimal policies for complex percept…