You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks. - Yu Chen 072; Shuo Yang 007; Rahul Mangharam; Xiang Yin 003 (CoRR, 2022)

Markov decision processes with maximum entropy rate for Surveillance Tasks. - Yu Chen 072; Shaoyuan Li; Xiang Yin 003 (CoRR, 2022)

Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests. - Yu Chen 072; Chao Shang 002; Xiaolin Huang; Xiang Yin 003 (CDC, 2023)

Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks. - Yu Chen 072; Xuanyuan Yin; Hao Ye 001; Shaoyuan Li; Xiang Yin 003 (CDC, 2024)

Learning Local Control Barrier Functions for Safety Control of Hybrid Systems. - Shuo Yang 007; Yu Chen 072; Xiang Yin 003; Rahul Mangharam (CoRR, 2024)

Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks. - Yu Chen 072; Xuanyuan Yin; Shaoyuan Li; Xiang Yin 003 (CoRR, 2024)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications. - Yu Chen 072; Yuda Li; Shaoyuan Li; Xiang Yin 003 (CoRR, 2025)

Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments. - Yuepeng Zhang; Yu Chen 072; Yuda Li; Shaoyuan Li; Xiang Yin 003 (CoRR, 2025)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective. - Yu Chen 072; Shaoyuan Li; Xiang Yin 003 (CoRR, 2025)