Kai Weng Wong

According to our database, Kai Weng Wong authored at least 7 papers between 2013 and 2018.

Collaborative distances:

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

2018

Resilient, Provably-Correct, and High-Level Robot Behaviors.

Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit

IEEE Trans. Robotics, 2018

2017

From High-Level Task Specification to Robot Operating System (ROS) Implementation.

Kai Weng Wong, Hadas Kress-Gazit

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2016

Need-based coordination for decentralized high-level robot control.

Kai Weng Wong, Hadas Kress-Gazit

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

2015

Robot Creation from Functional Specifications.

Ankur M. Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus

Proceedings of the Robotics Research, 2015

Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace.

Kai Weng Wong, Hadas Kress-Gazit

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

2014

Correct High-level Robot Behavior in Environments with Unexpected Events.

Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit

Proceedings of the Robotics: Science and Systems X, 2014

2013

Provably-correct robot control with LTLMoP, OMPL and ROS.

Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit

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