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

> Research article (2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017) · cited 48× · AI/ML

**Wikidata**: [openalex:W2784322399](https://www.wikidata.org/wiki/openalex:W2784322399)  
**Source**: https://4ort.xyz/entity/linear-temporal-logic-motion-planning-for-teams-of-underactuated-robots-using-satisfiability-modulo-convex-programming