Guiding Efficient 3D Exploration with Temporal Logic
in the file installation
Build the system with
catkin build
If you want to run the simulation first launch
roslaunch simulation simulation_velodyne.launch
or
roslaunch simulation simulation_mine.launch
To run the exploration launch
roslaunch stl_exploration exploration_velodyne.launch
or
roslaunch stl_exploration exploration_velodyne_new.launch
for the back home feature