activity
20242026
most citedOn the Uniqueness of Solution for the Bellman Equation of LTL Objectives

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

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…