{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T16:38:04Z","timestamp":1757608684028,"version":"3.44.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"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":[[2025,5,19]]},"DOI":"10.1109\/icra55743.2025.11128245","type":"proceedings-article","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T17:28:56Z","timestamp":1756834136000},"page":"3933-3939","source":"Crossref","is-referenced-by-count":0,"title":["Scalable Multi-Robot Task Allocation and Coordination Under Signal Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Wenliang","family":"Liu","sequence":"first","affiliation":[{"name":"Amazon Robotics,North Reading,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathalie","family":"Majcherczyk","sequence":"additional","affiliation":[{"name":"Amazon Robotics,North Reading,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Pecora","sequence":"additional","affiliation":[{"name":"Amazon Robotics,North Reading,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2593458.2593472"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160740"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918774135"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3130794"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3057049"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ACC55779.2023.10156237"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963331"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3146951"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3068918"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3075371"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref21"},{"article-title":"Gurobi Optimizer Reference Manual","volume-title":"Gurobi Optimization, LLC","year":"2024","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914537130"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-012-0072-5"},{"key":"ref25","article-title":"Ara*: Anytime a* with provable bounds on sub-optimality","volume":"16","author":"Likhachev","year":"2003","journal-title":"Advances in neural information processing systems"},{"journal-title":"Search-based planning with motion primitives","year":"2010","author":"Likhachev","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1177\/02783649221082115"}],"event":{"name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2025,5,19]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2025,5,23]]}},"container-title":["2025 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11127273\/11127223\/11128245.pdf?arnumber=11128245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T06:21:15Z","timestamp":1756880475000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11128245\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,19]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icra55743.2025.11128245","relation":{},"subject":[],"published":{"date-parts":[[2025,5,19]]}}}