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

Dhaval Gujarathi, Indranil Saha

Browse the full IROS paper archive.