Papers
2
Total Citations
52
H-Index
2
About
Weijie Shi is a rising researcher in robotics and control systems, specializing in multi-robot coordination and formal methods. His work focuses on solving complex path planning problems where teams of identical mobile robots must satisfy high-level Boolean specifications—logical formulas that describe tasks over specific regions of an environment. Shi’s major contributions include developing a simulated annealing-based approach for multi-robot path planning under Boolean constraints, a method that efficiently computes optimal trajectories while ensuring task completion. His most cited paper (42 citations) introduces this framework, demonstrating significant impact in the field. More recently, Shi has advanced the state of the art by integrating security-preserving constraints into multi-robot planning, using labeled Petri nets to model and mitigate the risk of passive intruders monitoring robot behavior. This work, published in 2023, addresses critical challenges in secure multi-agent systems. With a growing citation record, Shi’s research bridges theoretical formal methods and practical robotics, offering scalable solutions for autonomous systems in security-sensitive applications.
Research Focus
Key Achievements
Top Papers
- 1
- 2