Provably-correct robot control with LTLMoP, OMPL and ROS. - Kai Weng Wong; Cameron Finucane; Hadas Kress-Gazit (IROS, 2013)

Correct High-level Robot Behavior in Environments with Unexpected Events. - Kai Weng Wong; Rüdiger Ehlers; Hadas Kress-Gazit (Robotics: Science and Systems, 2014)

Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace. - Kai Weng Wong; Hadas Kress-Gazit (ICRA, 2015)

Robot Creation from Functional Specifications. - Ankur M. Mehta; Joseph DelPreto; Kai Weng Wong; Scott Hamill; Hadas Kress-Gazit; Daniela Rus (ISRR (2), 2015)

Need-based coordination for decentralized high-level robot control. - Kai Weng Wong; Hadas Kress-Gazit (IROS, 2016)

From High-Level Task Specification to Robot Operating System (ROS) Implementation. - Kai Weng Wong; Hadas Kress-Gazit (IRC, 2017)

Resilient, Provably-Correct, and High-Level Robot Behaviors. - Kai Weng Wong; Rüdiger Ehlers; Hadas Kress-Gazit (IEEE Trans. Robotics, 2018)