Showing eess.SYShow 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…
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…