Yuanjiang Yang
Papers
2
Total Citations
10
H-Index
2
About
Yuanjiang Yang is a leading researcher in formal methods and multi-robot systems, with a focus on synthesizing provably correct control strategies for complex automation tasks. His work lies at the intersection of temporal logic, distributed coordination, and warehouse robotics, where he addresses the challenge of ensuring that fleets of automated guided vehicles (AGVs) operate safely and efficiently under high-level specifications. In his highly cited 2020 paper, Yang introduced a distributed framework for multi-robot task planning with temporal logic constraints, enabling fully automated controller synthesis for AGVs navigating grid-based workspaces. His 2019 foundational study on formal synthesis of warehouse robotic systems laid the groundwork for designing scalable, logic-driven coordination in industrial automation. With over 10 citations across his key publications, Yang’s contributions are instrumental in bridging the gap between theoretical formal verification and practical robotics. His work has direct implications for smart logistics and Industry 4.0, offering rigorous guarantees for multi-agent systems operating in dynamic environments.
Research Focus
Key Achievements
Top Papers
- 1
- 2