VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 70 forks source link

How to export generated trajectores? #85

Open layashamgah opened 8 years ago

layashamgah commented 8 years ago

I need to compare the results in LTLmop with other implementation. How I can export the data related to the generated paths?

spmaniato commented 8 years ago

I believe someone has implemented such a feature. Not sure if it's made it to the development branch though. @jimjing, didn't Robert work on this?

@layashamgah, keep in mind that the purpose of LTLMoP is not path and motion planning per se as much as high-level mission planning. The trajectories are not optimal; they just satisfy the LTL specification. You can select different path and motion planners from the handler configuration.