Gangyuan Jing

About

Gangyuan Jing is a robotics researcher whose work spans formal methods for robot control, autonomous systems, and modular robotics. He is perhaps best known for his early contributions to the LTLMoP (Linear Temporal Logic MissiOn Planning) toolkit, a influential software framework that enables robots to execute high-level tasks specified in structured English or Linear Temporal Logic — work that has garnered over 170 citations and helped bridge the gap between human-readable instructions and rigorous, correct-by-construction robot controllers. His subsequent research pushed toward optimal controller synthesis in adversarial environments and improved continuous execution of reactive controllers, addressing real-world limitations of purely discrete formal methods. A significant thread of Jing's career is dedicated to modular robotics, where he developed end-to-end systems capable of autonomously selecting robot configurations and generating appropriate behaviors for novel tasks in unknown environments — contributions cited over 200 times collectively across multiple venues including AI-focused venues. His 2018 work on perception-driven autonomy with modular robots (110 citations) stands as a landmark demonstration of closing the loop between perception, planning, and physical reconfiguration. Together, his contributions have meaningfully advanced the field of autonomous, formally verifiable, and adaptive robotic systems.

Research Focus

Key Achievements

Top Papers

1. 1
   LTLMoP: Experimenting with language, Temporal Logic and robot control

   171 citations · 2010
2. 2
   An integrated system for perception-driven autonomy with modular robots

   110 citations · 2018
3. 3
   An End-To-End System for Accomplishing Tasks with Modular Robots

   46 citations · 2016
4. 4
   An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community

   32 citations · 2017
5. 5
   Accomplishing high-level tasks with modular robots

   28 citations · 2018
6. 6
   Computer-Aided Compositional Design and Verification for Modular Robots

   18 citations · 2017
7. 7
   Correct high-level robot control from structured English

   15 citations · 2012
8. 8
   Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments

   14 citations · 2013
9. 9
   Improving the continuous execution of reactive LTL-based controllers

   8 citations · 2013
10. 10
    Designing reactive robot controllers with LTLMoP

    5 citations · 2011

Key Collaborators

Contact & Links