MT* : Multi-Robot Path Planning for Temporal Logic Specifications

Dhaval Gujarathi, Indranil Saha

We address the path planning problem for a team of robots satisfying a complex high-level mission specification given in the form of an Linear Temporal Logic (LTL) formula. The sta…