%0 Conference Paper %1 conf/cdc/ShoukryNBSSSPT17 %A Shoukry, Yasser %A Nuzzo, Pierluigi %A Balkan, Ayca %A Saha, Indranil %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %A Pappas, George J. %A Tabuada, Paulo %B CDC %D 2017 %I IEEE %K %P 1132-1137 %T Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2017.html#ShoukryNBSSSPT17 %@ 978-1-5090-2873-3

@inproceedings{conf/cdc/ShoukryNBSSSPT17, added-at = {2023-12-13T01:38:11.000+0100}, author = {Shoukry, Yasser and Nuzzo, Pierluigi and Balkan, Ayca and Saha, Indranil and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A. and Pappas, George J. and Tabuada, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2df0e1636323b1c60ef62a783e5d79eea/admin}, booktitle = {CDC}, crossref = {conf/cdc/2017}, ee = {https://doi.org/10.1109/CDC.2017.8263808}, interhash = {74462d2ab70e2dca25caeb45070d2886}, intrahash = {df0e1636323b1c60ef62a783e5d79eea}, isbn = {978-1-5090-2873-3}, keywords = {}, pages = {1132-1137}, publisher = {IEEE}, timestamp = {2023-12-13T01:38:11.000+0100}, title = {Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2017.html#ShoukryNBSSSPT17}, year = 2017 }