A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems for Cyclic Tasks. - Peng Lv 002; Xiang Yin 003; Yiding Ji; Shaoyuan Li (CDC, 2021)

Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics. - Peng Lv 002; Shaoyuan Li; Xiang Yin 003 (CASE, 2024)

Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications. - Peng Lv 002; Guangqing Luo; Zhou He 001; Xianwei Li 001; Xiang Yin 003 (ICCA, 2024)

Optimal supervisory control of discrete event systems for cyclic tasks. - Peng Lv 002; Zhangcong Xu; Yiding Ji; Shaoyuan Li; Xiang Yin 003 (Autom., 2024)

Optimal Deceptive Strategy Synthesis for Autonomous Systems Under Asymmetric Information. - Peng Lv 002; Shaoyuan Li; Xiang Yin 003 (IEEE Trans. Intell. Veh., 2024)