Xiaowu Sun
Papers
1
Total Citations
2
H-Index
1
About
Xiaowu Sun is a researcher at the forefront of robotics and artificial intelligence, specializing in the intersection of motion planning, temporal logic, and neurosymbolic reasoning. Their key contributions lie in developing intelligent frameworks that enable mobile robots to understand and execute complex, time-sensitive tasks described through formal specifications like Linear Temporal Logic (LTL). Sun’s most notable work, the 2022 paper “Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks,” introduces a pioneering approach that integrates neural networks with symbolic reasoning to solve motion planning problems involving intricate temporal goals. This framework allows robots to autonomously interpret high-level, time-dependent commands and generate feasible motion plans, bridging the gap between learning-based perception and formal task verification. While still early in their career, Sun’s research has already garnered attention for its innovative fusion of AI and control theory, laying the groundwork for more capable and trustworthy autonomous systems. Their work promises to advance applications in service robotics, autonomous navigation, and human-robot collaboration, where understanding and executing temporal constraints is critical.
Research Focus
Key Achievements
Top Papers
- 1Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks2 citations · 2022