{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:42:13Z","timestamp":1730270533081,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"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":[[2020,10,24]]},"DOI":"10.1109\/iros45743.2020.9341624","type":"proceedings-article","created":{"date-parts":[[2021,2,13]],"date-time":"2021-02-13T02:26:48Z","timestamp":1613183208000},"page":"6599-6604","source":"Crossref","is-referenced-by-count":8,"title":["Decentralized Safe Reactive Planning under TWTL Specifications"],"prefix":"10.1109","author":[{"given":"Ryan","family":"Peterson","sequence":"first","affiliation":[]},{"given":"Ali Tevfik","family":"Buyukkocak","sequence":"additional","affiliation":[]},{"given":"Derya","family":"Aksaray","sequence":"additional","affiliation":[]},{"given":"Yasin","family":"Yazicioglu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.07.012"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.030"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2014.X.045"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487481"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.08.023"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1109\/IROS45743.2020.9341624","article-title":"Decentralized safe reactive planning under TWTL specifications","author":"peterson","year":"2020"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989376"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.ifacol.2019.12.156","article-title":"Distributed path planning for executing cooperative tasks with time windows","volume":"52","author":"bhat","year":"2019","journal-title":"IFAC-PapersOnLine"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.ifacol.2019.12.157","article-title":"Persistent surveillance with energy-constrained uavs and mobile charging stations","volume":"52","author":"seyedi","year":"2019","journal-title":"IFAC-PapersOnLine"},{"key":"ref4","volume":"26202649","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2680602"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1016\/j.ifacol.2015.10.326","article-title":"Distributed multi-agent persistent surveillance under temporal logic constraints","volume":"48","author":"aksaray","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2890572"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2017.2659727"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461372"}],"event":{"name":"2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2020,10,24]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2021,1,24]]}},"container-title":["2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9340668\/9340635\/09341624.pdf?arnumber=9341624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:51:21Z","timestamp":1656453081000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9341624\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,24]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iros45743.2020.9341624","relation":{},"subject":[],"published":{"date-parts":[[2020,10,24]]}}}