{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:44:00Z","timestamp":1740102240261,"version":"3.37.3"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62061136004,62173226,61833012"],"award-info":[{"award-number":["62061136004,62173226,61833012"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2018AAA0101700"],"award-info":[{"award-number":["2018AAA0101700"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,26]]},"DOI":"10.1109\/case56687.2023.10260303","type":"proceedings-article","created":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T17:32:23Z","timestamp":1695922343000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Feifei","family":"Huang","sequence":"first","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoyuan","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304153"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3284200"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2853558"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160753"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981504"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2022.105130"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2023.105600"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2019.12.157"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197274"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918774135"},{"key":"ref19","article-title":"To explore or not to explore: Regret-based LTL planning in partially-known environments","author":"zhao","year":"2023","journal-title":"22nd IFAC World Congress"},{"journal-title":"Planning not to talk Multiagent systems that are robust to communication loss","year":"2022","author":"karabag","key":"ref18"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/ASCC56756.2022.9828362"},{"key":"ref23","article-title":"Failure-aware self-diagnostic task planning under temporal logic specifications","author":"zhao","year":"2023","journal-title":"22nd IFAC World Congress"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref20","first-page":"129","volume":"4","author":"zhou","year":"2018","journal-title":"Resilient active target tracking with multiple robots"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3161765"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055021"},{"journal-title":"Safe path planning for polynomial shape obstacles via control barrier functions and logistic regression","year":"2022","author":"peng","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482848"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963331"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2013.103"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.839232"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450548"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14705-5_1"}],"event":{"name":"2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2023,8,26]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2023,8,30]]}},"container-title":["2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10260321\/10260291\/10260303.pdf?arnumber=10260303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T17:54:31Z","timestamp":1697478871000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10260303\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,26]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/case56687.2023.10260303","relation":{},"subject":[],"published":{"date-parts":[[2023,8,26]]}}}