Provably-correct robot control with LTLMoP, OMPL and ROS.

Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit

Browse the full IROS paper archive.