Correct High-level Robot Behavior in Environments with Unexpected Events KW Wong, R Ehlers, H Kress-Gazit Robotics: Science and Systems Conference (RSS’14), 2014 | 42 | 2014 |
Robot creation from functional specifications AM Mehta, J DelPreto, KW Wong, S Hamill, H Kress-Gazit, D Rus Robotics Research: Volume 2, 631-648, 2018 | 33 | 2018 |
Provably-correct robot control with LTLMoP, OMPL and ROS KW Wong, C Finucane, H Kress-Gazit 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2013 | 21 | 2013 |
Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace KW Wong, H Kress-Gazit 2015 IEEE International Conference on Robotics and Automation (ICRA), 339-345, 2015 | 19 | 2015 |
From high-level task specification to robot operating system (ros) implementation KW Wong, H Kress-Gazit 2017 First IEEE International Conference on Robotic Computing (IRC), 188-195, 2017 | 17 | 2017 |
Need-based coordination for decentralized high-level robot control KW Wong, H Kress-Gazit 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016 | 16 | 2016 |
Resilient, provably-correct, and high-level robot behaviors KW Wong, R Ehlers, H Kress-Gazit IEEE Transactions on Robotics 34 (4), 936-952, 2018 | 14 | 2018 |
Robot operating system (ROS) introspective implementation of high-level task controllers KW Wong, H Kress-Gazit Journal of Software Engineering for Robotics 8 (1), 1-13, 2017 | 6 | 2017 |
Robot Controllers: Online and Offline Adaption, and Automatic Code Transfer KW Wong Cornell University, 2018 | | 2018 |
Correct High-level Robot Behavior with Unexpected Events in a Shared Workspace KW Wong, H Kress-Gazit | | |