Kai Weng Wong

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 5

Top Topics

Operating System

Conflict Resolution

Shared Workspace

Top Venues

IEEE Trans. Robotics

Publications

Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit
Resilient, Provably-Correct, and High-Level Robot Behaviors. IEEE Trans. Robotics 34 (4) (2018)
Kai Weng Wong, Hadas Kress-Gazit
From High-Level Task Specification to Robot Operating System (ROS) Implementation. IRC (2017)
Kai Weng Wong, Hadas Kress-Gazit
Need-based coordination for decentralized high-level robot control. IROS (2016)
Ankur M. Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus
Robot Creation from Functional Specifications. ISRR (2) (2015)
Kai Weng Wong, Hadas Kress-Gazit
Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace. ICRA (2015)
Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit
Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems (2014)
Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit
Provably-correct robot control with LTLMoP, OMPL and ROS. IROS (2013)