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

ROS handlers with newer versions #87

Open ayonix opened 8 years ago

ayonix commented 8 years ago

In the ROS handlers install.sh the ROS version is hard coded to Fuerte, which is some releases behind. Is there anyone who has tried to adapt it to the newer ROS versions (Kinetic Kame/Jade/Indigo) already? If not I'll probably try to migrate it.

ayonix commented 8 years ago

I am working on it, the robot (using a turtlebot in gazebo right now) is moving, although the coordinates are still wrong and the resizing of the LTLMoP generated map is off. Progress seen in: ayonix/LTLMoP@082ff0fe6a3b2fabbc236c411cad8c3eb150dc0b