{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:46:53Z","timestamp":1750747613505,"version":"3.37.3"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NSF","award":["CNS-1618369"],"award-info":[{"award-number":["CNS-1618369"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/lra.2021.3098059","type":"journal-article","created":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T19:56:17Z","timestamp":1626810977000},"page":"7389-7396","source":"Crossref","is-referenced-by-count":10,"title":["A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5132-656X","authenticated-orcid":false,"given":"Ruixuan","family":"Yan","sequence":"first","affiliation":[{"name":"Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute, Troy, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0970-3226","authenticated-orcid":false,"given":"Agung","family":"Julius","sequence":"additional","affiliation":[{"name":"Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute, Troy, NY, USA"}]}],"member":"263","reference":[{"key":"ref30","first-page":"34","article-title":"Approximation algorithms for NP-hard optimization problems","author":"klein","year":"2010","journal-title":"Algorithms and Theory of Computation Handbook General Concepts and Techniques"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2924843"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525063"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799146"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63516-3_8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883831"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MRS.2017.8250926"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-019-09861-4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00024"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISPAN.1997.645104"},{"article-title":"Scalable integrated task and motion planning from signal temporal logic specifications","year":"2018","author":"rodrigues da silva","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224297"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963399"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(01)00348-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2611536"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353407"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.889492"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16595-0_34"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2006925"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-27705-6_6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2020.3014602"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2012.03.003"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543239"},{"key":"ref24","article-title":"Linear and nonlinear optimization. Society of Industrial and Applied Mathematics","volume":"108","author":"griva","year":"2009"},{"article-title":"Distributed monitoring of robot swarms with swarm signal temporal logic","year":"0","author":"yan","key":"ref23"},{"journal-title":"Theory of Scheduling","year":"2003","author":"conway","key":"ref26"},{"journal-title":"Vector Calculus","year":"1986","author":"baxandall","key":"ref25"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/7083369\/9475905\/9492006-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/9475905\/09492006.pdf?arnumber=9492006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T17:50:13Z","timestamp":1685123413000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9492006\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":30,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/lra.2021.3098059","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"type":"electronic","value":"2377-3766"},{"type":"electronic","value":"2377-3774"}],"subject":[],"published":{"date-parts":[[2021,10]]}}}