Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
Summary
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming is a scholarly article[1].
Key Facts
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming's instance of is recorded as scholarly article[2].
References
Programmatic citations — every numbered marker resolves to a verifiable graph row below.
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. Retrieved May 24, 2026, from https://4ort.xyz/entity/linear-temporal-logic-motion-planning-for-teams-of-underactuated-robots-using-satisfiability-modulo-convex-programming
MLA“Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/linear-temporal-logic-motion-planning-for-teams-of-underactuated-robots-using-satisfiability-modulo-convex-programming.
BibTeX@misc{4ortxyz_linear-temporal-logic-motion-planning-for-teams-of-underactuated-robots-using-satisfiability-modulo-convex-programming_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming}}, year = {2026}, url = {https://4ort.xyz/entity/linear-temporal-logic-motion-planning-for-teams-of-underactuated-robots-using-satisfiability-modulo-convex-programming}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming — https://4ort.xyz/entity/linear-temporal-logic-motion-planning-for-teams-of-underactuated-robots-using-satisfiability-modulo-convex-programming (retrieved 2026-05-24)
