https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2017-12-23 00:00:002017-12-23 00:00:00Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming
