C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Bohan Cui
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Control Theory
Discrete Event
Model Checker
Linear Temporal Logic
Top Venues
ICRA
CoRR
CDC
</>
Publications
</>
Bohan Cui
,
Alessandro Giua
,
Xiang Yin
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach.
CDC
(2023)
Bohan Cui
,
Keyi Zhu
,
Shaoyuan Li
,
Xiang Yin
Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications.
ICRA
(2023)
Bohan Cui
,
Xiang Yin
,
Shaoyuan Li
,
Alessandro Giua
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.
CoRR
(2022)