Rongqing Li
Papers
1
Total Citations
14
H-Index
1
About
Rongqing Li is a researcher whose work lies at the intersection of robotics, formal methods, and multi-agent systems. Their most influential contribution, the 2012 paper "A framework for multi-robot motion planning from temporal logic specifications," has garnered 14 citations and introduced a pioneering approach to coordinating multiple robots using high-level, temporal logic constraints. This framework allows robots to autonomously plan and execute complex tasks while adhering to safety and liveness specifications, bridging the gap between symbolic reasoning and continuous motion control. Li’s work is particularly notable for enabling scalable, provably correct behavior in multi-robot teams, a critical advancement for applications in autonomous exploration, warehouse logistics, and search-and-rescue operations. By integrating temporal logic with motion planning, they have provided a formal foundation that ensures mission success even in dynamic environments. Their research continues to influence the development of intelligent, verifiable robotic systems, making them a key figure in the growing field of formal methods for robotics.
Research Focus
Key Achievements
Top Papers
- 1