Gangyuan Jing

14 papers A* 4A 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2018 J jnl
Accomplishing high-level tasks with modular robots.
Auton. Robots
Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit
2018 J jnl
An integrated system for perception-driven autonomy with modular robots.
Sci. Robotics
Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit, Mark E. Campbell
2018 A* conf
Perception-Informed Autonomous Environment Augmentation with Modular Robots.
ICRA
Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim
2017 J jnl
Accomplishing High-Level Tasks with Modular Robots.
CoRR
Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit
2017 A* conf
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community.
IJCAI
Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit
2017 J jnl
An Integrated System for Perception-Driven Autonomy with Modular Robots.
CoRR
Jonathan Daudelin, Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit, Mark E. Campbell
2017 J jnl
Perception-Informed Autonomous Environment Augmentation With Modular Robots.
CoRR
Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim
2016 — conf
An End-To-End System for Accomplishing Tasks with Modular Robots.
Robotics: Science and Systems
Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit
2015 — conf
Computer-Aided Compositional Design and Verification for Modular Robots.
ISRR (1)
Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim
2013 A* conf
Improving the continuous execution of reactive LTL-based controllers.
ICRA
Gangyuan Jing, Hadas Kress-Gazit
2013 A conf
Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments.
IROS
Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit
2012 A* conf
Correct high-level robot control from structured English.
ICRA
Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit
2011 — conf
Designing Reactive Robot Controllers with LTLMoP.
Automated Action Planning for Autonomous Mobile Robots
Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit
2010 A conf
LTLMoP: Experimenting with language, Temporal Logic and robot control.
IROS
Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit