Automated composition of motion primitives for multi-robot systems from safe LTL specifications.

Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia

Browse the full IROS paper archive.