LTLMoP: Experimenting with language, Temporal Logic and robot control. - Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit (IROS, 2010)

Designing Reactive Robot Controllers with LTLMoP. - Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit (Automated Action Planning for Autonomous Mobile Robots, 2011)

Correct high-level robot control from structured English. - Gangyuan Jing; Cameron Finucane; Vasumathi Raman; Hadas Kress-Gazit (ICRA, 2012)

Improving the continuous execution of reactive LTL-based controllers. - Gangyuan Jing; Hadas Kress-Gazit (ICRA, 2013)

Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. - Gangyuan Jing; Rüdiger Ehlers; Hadas Kress-Gazit (IROS, 2013)

Computer-Aided Compositional Design and Verification for Modular Robots. - Tarik Tosun; Gangyuan Jing; Hadas Kress-Gazit; Mark Yim (ISRR (1), 2015)

An End-To-End System for Accomplishing Tasks with Modular Robots. - Gangyuan Jing; Tarik Tosun; Mark Yim; Hadas Kress-Gazit (Robotics: Science and Systems, 2016)

An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community. - Gangyuan Jing; Tarik Tosun; Mark Yim; Hadas Kress-Gazit (IJCAI, 2017)

An Integrated System for Perception-Driven Autonomy with Modular Robots. - Jonathan Daudelin; Gangyuan Jing; Tarik Tosun; Mark Yim; Hadas Kress-Gazit; Mark E. Campbell (CoRR, 2017)

Perception-Informed Autonomous Environment Augmentation with Modular Robots. - Tarik Tosun; Jonathan Daudelin; Gangyuan Jing; Hadas Kress-Gazit; Mark E. Campbell; Mark Yim (ICRA, 2018)

Accomplishing high-level tasks with modular robots. - Gangyuan Jing; Tarik Tosun; Mark Yim; Hadas Kress-Gazit (Auton. Robots, 2018)

An integrated system for perception-driven autonomy with modular robots. - Gangyuan Jing; Tarik Tosun; Mark Yim; Hadas Kress-Gazit; Mark E. Campbell (Sci. Robotics, 2018)