GitHub repository: KTH-DHSG/ltl_automaton_turtlebot
Description: Provides integration of Turtlebot2 with LTL automaton package