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

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.

http://ltlmop.github.io

GNU General Public License v3.0

56 stars 69 forks source link

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

Open kundut opened 6 years ago

kundut commented 6 years ago

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.