Hi, I'm currently working on Mobile Robot Motion Planning in the unstructured environment. Where goal specification is using Linear Temporal Logic. The experiments already performed on LTLMoP and ROS gazebo environment. Currently I'm trying to implement it using OMPL on ROS.