Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward. - Zetong Xuan; Yu Wang 044 (CDC, 2024)

On the uniqueness of solution for the Bellman equation of LTL objectives. - Zetong Xuan; Alper Kamil Bozkurt; Miroslav Pajic; Yu Wang 044 (L4DC, 2024)

Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives. - Zetong Xuan; Yu Wang 044 (IEEE Control. Syst. Lett., 2025)

Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives. - Zetong Xuan; Yu Wang (CoRR, 2025)