Publications‎ > ‎

BIB: Provably-correct robot control with LTLMoP, OMPL and ROS

@inproceedings{DBLP:conf/iros/WongFK13, 
author = {Kai Weng Wong and Cameron Finucane and Hadas Kress-Gazit}, 
title = {Provably-correct robot control with LTLMoP, OMPL and ROS}, 
booktitle = {IROS}, 
year = {2013}, 
pages = {2073}, 
ee = {http://dx.doi.org/10.1109/IROS.2013.6696636}, 
}