{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:40:06Z","timestamp":1725687606005},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T00:00:00Z","timestamp":1688342400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T00:00:00Z","timestamp":1688342400000},"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,7,3]]},"DOI":"10.1109\/codit58514.2023.10284378","type":"proceedings-article","created":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T17:46:12Z","timestamp":1698169572000},"page":"1862-1867","source":"Crossref","is-referenced-by-count":0,"title":["Reactive and Human-in-the-Loop Planning and Control of Multi-Robot Systems under LTL Specifications in Dynamic Environments*"],"prefix":"10.1109","author":[{"given":"Pian","family":"Yu","sequence":"first","affiliation":[{"name":"Oxford University,Pian Yu is with the Department of Computer Science,Oxford,United Kingdom"}]},{"given":"Gianmarco","family":"Fedeli","sequence":"additional","affiliation":[{"name":"Fedeli Gianmarco - is - with Bosch,Braga,Portugal"}]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[{"name":"Dimos Dimarogonas is with the Division of Decison and Control Systems, KTH,Stockholm,Sweden"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(02)00372-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"ref14","first-page":"5025","article-title":"Revising motion planning under linear temporal logic specifications in partially known workspaces","author":"guo","year":"2013","journal-title":"2013 IEEE International Conference on Robotics and Automation"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2799561"},{"key":"ref22","first-page":"4817","article-title":"Sampling-based temporal logic path planning","author":"vasile","year":"0","journal-title":"2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49439.2021.9551648"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363185"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3088764"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8928-6_23"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460793"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref7","article-title":"Multirobot coordination with counting temporal logics","author":"sahin","year":"2019","journal-title":"IEEE Transactions on Robotics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-017-9665-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"}],"event":{"name":"2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2023,7,3]]},"location":"Rome, Italy","end":{"date-parts":[[2023,7,6]]}},"container-title":["2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10284032\/10284045\/10284378.pdf?arnumber=10284378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T19:01:29Z","timestamp":1699902089000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10284378\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/codit58514.2023.10284378","relation":{},"subject":[],"published":{"date-parts":[[2023,7,3]]}}}