Bohan Cui

According to our database, Bohan Cui authored at least 14 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors.

Bohan Cui, Ziyue Ma, Alessandro Giua, Xiang Yin

CoRR, April, 2026

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach.

Bohan Cui, Jianing Zhao, Yu Chen, Alessandro Abate, Marta Kwiatkowska, Xiang Yin

CoRR, April, 2026

A novel zero-day ransomware detection approach based on CVAE and 1D-CNN.

Bohan Cui, Yan Hu, Tianheng Qu, Yunhua He, Limin Sun

High Confid. Comput., 2026

2025

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis.

Bohan Cui, Yu Chen, Alessandro Giua, Xiang Yin

CoRR, October, 2025

Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures.

Bohan Cui, Feifei Huang, Shaoyuan Li, Xiang Yin

IEEE Trans. Control. Syst. Technol., March, 2025

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents.

Bohan Cui, Xinyi Yu, Alessandro Giua, Xiang Yin

CoRR, February, 2025

Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information.

Shaowen Miao, Bohan Cui, Yiding Ji, Xiang Yin

IEEE Control. Syst. Lett., 2025

Attack-Resilient Supervisory Control of Discrete Event Systems Under Dynamic-Event-Protection Mechanisms.

Bohan Cui, Alessandro Giua, Xiang Yin

IEEE Control. Syst. Lett., 2025

Regret-Optimal Supervisory Control of Partially-Known Discrete-Event Systems.

Jianing Zhao, Bohan Cui, Dimos V. Dimarogonas, Rupak Majumdar, Xiang Yin

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024

Data distribution tailoring revisited: cost-efficient integration of representative data.

Jiwon Chang, Bohan Cui, Fatemeh Nargesian, Abolfazl Asudeh, H. V. Jagadish

VLDB J., September, 2024

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications.

Bohan Cui, Ziyue Ma, Shaoyuan Li, Xiang Yin

CoRR, 2024

2023

Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications.

Bohan Cui, Keyi Zhu, Shaoyuan Li, Xiang Yin

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach.

Bohan Cui, Alessandro Giua, Xiang Yin

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.

Bohan Cui, Xiang Yin, Shaoyuan Li, Alessandro Giua

CoRR, 2022