Want to get point coordinates on the robot trajectory, Or motion primitives of the robot

Using LTLMoP, I have generated a high level robot motion which satisfies certain LTL specs. But, while exporting it, I need the point coordinates the robot is traversing through. Or the motion primitives of the robot at every transition will also be fine.
Please suggest how to get it.