You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems. - Bohan Cui; Xiang Yin 003; Shaoyuan Li; Alessandro Giua (CoRR, 2022)

Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach. - Bohan Cui; Alessandro Giua; Xiang Yin 003 (CDC, 2023)

Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications. - Bohan Cui; Keyi Zhu; Shaoyuan Li; Xiang Yin 003 (ICRA, 2023)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications. - Bohan Cui; Ziyue Ma; Shaoyuan Li; Xiang Yin 003 (CoRR, 2024)

Data distribution tailoring revisited: cost-efficient integration of representative data. - Jiwon Chang; Bohan Cui; Fatemeh Nargesian; Abolfazl Asudeh; H. V. Jagadish (VLDB J., 2024)

Attack-Resilient Supervisory Control of Discrete Event Systems Under Dynamic-Event-Protection Mechanisms. - Bohan Cui; Alessandro Giua; Xiang Yin 003 (IEEE Control. Syst. Lett., 2025)

Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information. - Shaowen Miao; Bohan Cui; Yiding Ji; Xiang Yin 003 (IEEE Control. Syst. Lett., 2025)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents. - Bohan Cui; Xinyi Yu; Alessandro Giua; Xiang Yin 003 (CoRR, 2025)

Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures. - Bohan Cui; Feifei Huang; Shaoyuan Li; Xiang Yin 003 (IEEE Trans. Control. Syst. Technol., 2025)