Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming | IEEE Conference Publication | IEEE Xplore