Kai Weng Wong, Hadas Kress-Gazit. From High-Level Task Specification to Robot Operating System (ROS) Implementation. In First IEEE International Conference on Robotic Computing, IRC 2017, Taichung, Taiwan, April 10-12, 2017. pages 188-195, IEEE, 2017. [doi]
Abstract is missing.