{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T21:58:40Z","timestamp":1770760720493,"version":"3.50.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"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"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,14]]},"DOI":"10.1109\/cdc42340.2020.9304153","type":"proceedings-article","created":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T07:27:32Z","timestamp":1610522852000},"page":"4460-4466","source":"Crossref","is-referenced-by-count":19,"title":["Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks"],"prefix":"10.1109","author":[{"given":"Shuo","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoyuan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2916940"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.10.049"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.02.037"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989157"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2853558"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2799561"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.322"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54792-8_15"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196874"},{"key":"ref28","first-page":"322","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"Proceedings of the First Symposium on Logic in Computer Science"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794460"},{"key":"ref27","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-019-00300-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.2967331"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2998733"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2484359"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2170453"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.06.028"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0264-7"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-50763-7","volume":"89","author":"belta","year":"2017","journal-title":"Formal Methods for Discrete-Time Dynamical Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.889492"}],"event":{"name":"2020 59th IEEE Conference on Decision and Control (CDC)","location":"Jeju, Korea (South)","start":{"date-parts":[[2020,12,14]]},"end":{"date-parts":[[2020,12,18]]}},"container-title":["2020 59th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9303728\/9303729\/09304153.pdf?arnumber=9304153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:46:41Z","timestamp":1656344801000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9304153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cdc42340.2020.9304153","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}