Shaoyuan Li
Papers
1
Total Citations
8
H-Index
1
About
Shaoyuan Li is a prominent researcher specializing in formal methods for robotics, temporal logic planning, and intelligent control systems. His work sits at the intersection of artificial intelligence and autonomous robotics, with a particular focus on enabling mobile robots to operate reliably in complex, continuous environments. His most recognized contribution, "NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots" (2024), addresses one of the field's most computationally demanding challenges — task planning under Linear Temporal Logic (LTL) specifications. By integrating neural network guidance with sampling-based planning methods, Li's approach significantly reduces the computational burden that has historically limited real-world deployment of formally verified robotic systems. This work has already accumulated 8 citations within its first year of publication, reflecting rapid uptake within the robotics and formal methods communities. Li's research is particularly valuable for students and practitioners working on autonomous systems, as it bridges the gap between theoretical guarantees offered by formal logic and the practical demands of real-world robot navigation, offering scalable solutions where traditional methods fall short.
Research Focus
Key Achievements
Top Papers
- 1