T* : A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications. - Danish Khalidi; Dhaval Gujarathi; Indranil Saha (ICRA, 2020)

MT*: Multi-Robot Path Planning for Temporal Logic Specifications. - Dhaval Gujarathi; Indranil Saha (IROS, 2022)