T: A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications
Danish Khalidi,Dhaval Gujarathi,Indranil Saha,Danish Khalidi,Dhaval Gujarathi,Indranil Saha
The fundamental path planning problem for a mobile robot involves generating a trajectory for point-to-point navigation while avoiding obstacles. Heuristic-based search algorithms like A* have been shown to be efficient in solving such planning problems. Recently, there has been an increased interest in specifying complex path planning problem using temporal logic. In the state-of-the-art algorith...
