Kai Weng Wong

Correct High-level Robot Behavior in Environments with Unexpected Events

Hadas Kress-Gazit, Rüdiger Ehlers, Kai Weng Wong, 2014, Robotics: Science and Systems.

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

Hadas Kress-Gazit, Kai Weng Wong, 2017, 2017 First IEEE International Conference on Robotic Computing (IRC).

Need-based coordination for decentralized high-level robot control

Hadas Kress-Gazit, Kai Weng Wong, 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

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

Hadas Kress-Gazit, Kai Weng Wong, 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

Provably-correct robot control with LTLMoP, OMPL and ROS

Hadas Kress-Gazit, Kai Weng Wong, Cameron Finucane, 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

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

Hadas Kress-Gazit, Rüdiger Ehlers, Kai Weng Wong, 2018, IEEE Transactions on Robotics.

Robot Creation from Functional Specifications

Hadas Kress-Gazit, Joseph DelPreto, Daniela Rus, 2015, ISRR.

Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers

Hadas Kress-Gazit, Kai Weng Wong, 2017 .