Guangqing Luo

Papers

Total Citations

H-Index

About

Dr. Guangqing Luo is a leading researcher in multi-robot systems and formal methods, with a primary focus on optimal path planning under complex temporal constraints. His most impactful contribution addresses the challenge of coordinating robot teams to execute cyclic tasks—repetitive sequences of actions—while satisfying specifications expressed in Linear Temporal Logic (LTL). In his seminal 2023 paper, cited 21 times, Dr. Luo introduced a novel framework that leverages Petri nets to model and solve this problem, enabling robots to not only fulfill LTL formulas but also complete specific, recurring objectives efficiently. This work bridges the gap between high-level task logic and low-level motion planning, offering a scalable solution for applications like warehouse automation and persistent environmental monitoring. His 2022 paper further refined these methods, demonstrating their robustness. Dr. Luo’s research is pivotal for advancing autonomous systems that must operate reliably in dynamic, long-horizon scenarios, making him a key figure in the intersection of robotics, control theory, and formal verification.