{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T04:40:40Z","timestamp":1723264840508},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,25]],"date-time":"2021-05-25T00:00:00Z","timestamp":1621900800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,25]],"date-time":"2021-05-25T00:00:00Z","timestamp":1621900800000},"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":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9483263","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"source":"Crossref","is-referenced-by-count":0,"title":["Receding Horizon Control Based Motion Planning with Partially Infeasible LTL Constrains"],"prefix":"10.23919","author":[{"given":"Mingyu","family":"Cai","sequence":"first","affiliation":[{"name":"The University of Iowa,Department of Mechanical Engineering,Iowa City,IA,USA,52246"}]},{"given":"Hao","family":"Peng","sequence":"additional","affiliation":[{"name":"Apex.AI Inc,Palo Alto,CA,USA,94303"}]},{"given":"Zhijun","family":"Li","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,Anhui,China"}]},{"given":"Hongbo","family":"Gao","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,Anhui,China"}]},{"given":"Zhen","family":"Kan","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,Anhui,China"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919856695"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6386215"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224826"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403291"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914537008"},{"key":"ref18","article-title":"Receding horizon control based online motion planning with partially infeasible LTL specifications","author":"cai","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref19","first-page":"95","article-title":"Ltl to Büchi automata translation: Fast and more deterministic","author":"babiak","year":"0","journal-title":"Conf Tools Alg Constr Anal Sys"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859413"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.030"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2018.2879905"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963204"},{"key":"ref8","first-page":"3217","article-title":"Incremental sampling-based algorithm for minimum-violation motion planning","author":"castro","year":"0","journal-title":"IEEE Conf Decis Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461330"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3006967"},{"key":"ref9","article-title":"This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction","author":"lahijanian","year":"0","journal-title":"Twenty-Ninth AAAI Conference on Artificial Intelligence"}],"event":{"name":"2021 American Control Conference (ACC)","location":"New Orleans, LA, USA","start":{"date-parts":[[2021,5,25]]},"end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09483263.pdf?arnumber=9483263","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:30:51Z","timestamp":1659483051000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9483263\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9483263","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}