Kai Weng Wong — accepted AI-conference papers

2016

Need-based coordination for decentralized high-level robot control

IROS 2016poster

We consider multiple robots operating in a shared workspace, each given a high-level task specification in the form of Linear Temporal Logic (LTL) formulas. The robots have no a priori knowledge about the tasks of the other robots and might run into conflicts during task execution. In this work, we…

Cited by 16 Source ↗Scholar ↗

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

ICRA 2015poster

We consider two robots operating in a common workspace where each can sense the location of the other. Each robot has its own high-level task, given as a temporal logic formula, which may include requirements regarding the other robot (e.g. the robot cannot enter a room that the other robot is curre…

Cited by 19 Source ↗Scholar ↗