STL-AEP Guiding Efficient 3D Exploration with Temporal Logic Installation Instructions Check the wiki page here