Yiwei Zheng
Papers
1
Total Citations
3
H-Index
1
About
Yiwei Zheng is a researcher at the forefront of robotics and formal methods, specializing in the synthesis of safe and secure autonomous behavior. Their work uniquely bridges control theory with temporal logic, addressing critical challenges in path planning under partial observability. Zheng's most notable contribution, "Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers" (2023), tackles the pressing problem of mission secrecy: ensuring that a robot's high-level goals remain hidden from a passive intruder, even when its actions at certain locations are observable. This pioneering approach, which has already garnered 3 citations, introduces a novel bipartite synthesis framework that optimally balances task completion with privacy preservation. By integrating opacity constraints directly into the planning process, Zheng's research lays essential groundwork for deploying autonomous systems in adversarial or sensitive environments, such as surveillance or logistics. Their work represents a significant step toward trustworthy AI, where robots not only perform complex tasks but also protect strategic information.
Research Focus
Key Achievements
Top Papers
- 1