{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:54:15Z","timestamp":1766138055142,"version":"3.37.3"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T00:00:00Z","timestamp":1651622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T00:00:00Z","timestamp":1651622400000},"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","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","id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,4]]},"DOI":"10.23919\/ascc56756.2022.9828362","type":"proceedings-article","created":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T19:38:23Z","timestamp":1658345903000},"page":"1052-1059","source":"Crossref","is-referenced-by-count":10,"title":["Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications"],"prefix":"10.23919","author":[{"given":"Feifei","family":"Huang","sequence":"first","affiliation":[{"name":"Shanghai Jiao Tong University,Department of Automation and Key Laboratory of System Control and Information Processing,Shanghai,China,200240"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Department of Automation and Key Laboratory of System Control and Information Processing,Shanghai,China,200240"}]},{"given":"Shaoyuan","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Department of Automation and Key Laboratory of System Control and Information Processing,Shanghai,China,200240"}]}],"member":"263","reference":[{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2018.07.159"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196796"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2643259"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2017.10.001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2799561"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8968547"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264386"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967732"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914537008"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224792"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913519000"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683745"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304153"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA51439.2020.9264491"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2022.105130"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.2999972"}],"event":{"name":"2022 13th Asian Control Conference (ASCC)","start":{"date-parts":[[2022,5,4]]},"location":"Jeju, Korea, Republic of","end":{"date-parts":[[2022,5,7]]}},"container-title":["2022 13th Asian Control Conference (ASCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9828005\/9828007\/09828362.pdf?arnumber=9828362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T06:59:19Z","timestamp":1706770759000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9828362\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,4]]},"references-count":27,"URL":"https:\/\/doi.org\/10.23919\/ascc56756.2022.9828362","relation":{},"subject":[],"published":{"date-parts":[[2022,5,4]]}}}