{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T22:44:09Z","timestamp":1777502649310,"version":"3.51.4"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10160335","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:20:56Z","timestamp":1688491256000},"page":"12423-12429","source":"Crossref","is-referenced-by-count":7,"title":["Temporal Logic Swarm Control with Splitting and Merging"],"prefix":"10.1109","author":[{"given":"Gustavo A.","family":"Cardona","sequence":"first","affiliation":[{"name":"Lehigh University,Dept. of Mechanical Engineering and Mechanics,Bethlehem,PA,USA,18015"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Leahy","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology,Lincoln Laboratory,Lexington,MA,USA,02421"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[{"name":"Lehigh University,Dept. of Mechanical Engineering and Mechanics,Bethlehem,PA,USA,18015"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341466"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3072549"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3191236"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2018.2857477"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.09.019"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.889492"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3182\/20020721-6-ES-1901.00244"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.829498"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.812781"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2924843"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.5898\/JHRI.4.1.Setter"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MRS.2017.8250926"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1641834"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s43154-021-00063-4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2021.3072740"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-019-09861-4"},{"key":"ref39","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/978-3-319-11164-3_19","author":"dokhanchi","year":"2014","journal-title":"International Conference on Runtime Verification"},{"key":"ref16","first-page":"568","article-title":"Verifiable control of robotic swarm from high-level specifications","author":"chen","year":"0","journal-title":"Proc of International Conference on Autonomous Agents and Multiagent Systems"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912462493"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00139-4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3098059"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36279-8_10"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1080.0524"},{"key":"ref45","article-title":"Coppeliasim (formerly v-rep): a versatile and scalable robot simulation framework","author":"rohmer","year":"0","journal-title":"Proc of the International Conference on Intelligent Robots and Systems (IROS)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1515\/9781400835355"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/70.976029"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993288"},{"key":"ref42","first-page":"223","article-title":"Partial satisfaction of signal tem-poral logic specifications for coordination of multi-robot systems","author":"cardona","year":"0","journal-title":"Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739366"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-95459-8_14"},{"key":"ref44","year":"2021","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref21","article-title":"Scalable and robust algorithms for task-based coordination from high-level specifications (scratches)","author":"leahy","year":"2021","journal-title":"IEEE Transactions on Robotics"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8461014"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717652"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353407"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799146"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abe4385"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.058"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abf1416"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-74540-0_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/app9081702"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abf1628"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","location":"London, United Kingdom","start":{"date-parts":[[2023,5,29]]},"end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10160211\/10160212\/10160335.pdf?arnumber=10160335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T17:37:01Z","timestamp":1690220221000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10160335\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10160335","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}