DT*: Temporal Logic Path Planning in a Dynamic Environment
Priya Purohit,Indranil Saha,Priya Purohit,Indranil Saha
Path planning for a robot is one of the major problems in the area of robotics. When a robot is given a task in the form of a Linear Temporal Logic (LTL) specification such that the task needs to be carried out repetitively, we want the robot to follow the shortest cyclic path so that the number of times the robot completes the mission within a given duration gets maximized. In this paper, we addr...
