Gangyuan Jing

According to our database, Gangyuan Jing authored at least 12 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Accomplishing high-level tasks with modular robots.

Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit

Auton. Robots, 2018

Perception-Informed Autonomous Environment Augmentation with Modular Robots.

Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

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

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

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

An End-To-End System for Accomplishing Tasks with Modular Robots.

Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit

Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

2015

Computer-Aided Compositional Design and Verification for Modular Robots.

Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim

Proceedings of the Robotics Research, 2015

2013

Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments.

Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Improving the continuous execution of reactive LTL-based controllers.

Gangyuan Jing, Hadas Kress-Gazit

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

2012

Correct high-level robot control from structured English.

Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

2011

Designing Reactive Robot Controllers with LTLMoP.

Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit

Proceedings of the Automated Action Planning for Autonomous Mobile Robots, 2011

2010

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

Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010