Xuchu Ding
Papers
2
Total Citations
209
H-Index
2
About
Xuchu Ding is a leading researcher in the intersection of formal methods and robotics, specializing in the synthesis of optimal control policies for autonomous systems. His work is distinguished by its rigorous integration of temporal logic specifications—particularly Linear Temporal Logic (LTL)—with decision-making under uncertainty. Ding’s most impactful contribution, his 2014 paper on optimal control of Markov Decision Processes (MDPs) with LTL constraints, has garnered 179 citations, establishing a foundational framework for automatically generating robot controllers that satisfy complex, time-sensitive tasks. This work directly addresses the challenge of deploying robots in large, noisy environments, as further explored in his 2015 paper on temporal logic motion control using actor–critic methods (30 citations). By bridging high-level task specifications with low-level, learning-based control, Ding has enabled robots to autonomously navigate and act in the real world while adhering to intricate behavioral rules. His research is pivotal for advancing autonomous systems in applications ranging from warehouse logistics to search-and-rescue, where reliable, verifiable behavior is paramount.
Research Focus
Key Achievements
Top Papers
- 1
- 2Temporal logic motion control using actor–critic methods30 citations · 2015