DT*: Temporal Logic Path Planning in a Dynamic Environment. - Priya Purohit; Indranil Saha (IROS, 2021)