Complan is a prototype tool for compositional multi-robot motion planning for complex specification.
Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications. Indranil Saha, Rattanachai Ramaitithima, Vijay Kumar, George J. Pappas and Sanjit A. Seshia IROS 2014