Bohan Cui
Papers
2
Total Citations
13
H-Index
2
About
Bohan Cui is a rising researcher at the forefront of safe and resilient autonomous systems, with a core focus on formal methods, multi-agent coordination, and security-aware control. His work bridges the gap between high-level task specifications—particularly those expressed in Linear Temporal Logic (LTL)—and the practical challenges of deploying robots in uncertain, adversarial environments. In his highly cited 2023 paper, Cui pioneered a framework for reinforcement learning under LTL specifications that explicitly accounts for security constraints, modeling threats from passive intruders who observe system outputs. This work, garnering 7 citations, addresses a critical vulnerability in learning-based control. Building on this, his 2024 paper tackles the equally pressing issue of robustness in multirobot systems, developing a planning algorithm that ensures mission completion even under permanent robot failures. With 6 citations in a short time, this contribution is already shaping how researchers design fault-tolerant swarms. Cui’s research is distinguished by its practical rigor: he does not assume flawless robots or benign environments, but instead engineers guarantees for the messy, failure-prone real world. His achievements mark him as a key voice in the next generation of trustworthy autonomy.
Research Focus
Key Achievements
Top Papers
- 1
- 2