Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming

January 19th, 2021