{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T02:16:50Z","timestamp":1767665810861,"version":"3.37.3"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e5det","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Swedish Foundation for Strategic Research"},{"DOI":"10.13039\/501100004063","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"publisher"}]},{"name":"ERC project LEAFHOUND"},{"name":"EU project CANOPIES"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1109\/tro.2021.3088764","type":"journal-article","created":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T20:15:35Z","timestamp":1625256935000},"page":"1047-1062","source":"Crossref","is-referenced-by-count":30,"title":["Distributed Motion Coordination for Multirobot Systems Under LTL Specifications"],"prefix":"10.1109","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6046-7129","authenticated-orcid":false,"given":"Pian","family":"Yu","sequence":"first","affiliation":[{"name":"School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7309-8086","authenticated-orcid":false,"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.5772\/57313"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-30440-3_344"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8997-2_29"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907210"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2012.2231866"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798530"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2017.2659727"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2710943"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2007.909810"},{"volume-title":"Autonomous Robots: From Biological Inspiration to Implementation and Control","year":"2005","author":"Bekey","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1997.606881"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1013625"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2006.06.003"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2017.2788209"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263808"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-017-9665-6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147740"},{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8928-6_23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697051"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4022-9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v26i1.8435"},{"issue":"5","key":"ref29","first-page":"293","article-title":"Rapidly-exploring random trees: Progress and prospects","volume-title":"Algorithmic Comput. Robot. New Directions","author":"LaValle","year":"2001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13408-1_7"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2013.IX.031"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2008.08.006"},{"key":"ref34","article-title":"ICLOCS2: Solve your optimal control problems with less pain","volume-title":"IFAC Secretariat","author":"Nie","year":"2018"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1990.125937"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2018.2828380"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915594679"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICARCV.2018.8581194"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907486"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(02)00256-7"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ROBIO.2018.8665080"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918783054"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/9749165\/09473029.pdf?arnumber=9473029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T23:03:34Z","timestamp":1705014214000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9473029\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4]]},"references-count":43,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tro.2021.3088764","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"type":"print","value":"1552-3098"},{"type":"electronic","value":"1941-0468"}],"subject":[],"published":{"date-parts":[[2022,4]]}}}