{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T15:10:10Z","timestamp":1773155410372,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,8]],"date-time":"2023-07-08T00:00:00Z","timestamp":1688774400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,8]],"date-time":"2023-07-08T00:00:00Z","timestamp":1688774400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2021YFB1714700"],"award-info":[{"award-number":["2021YFB1714700"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001807","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62293510,62273138"],"award-info":[{"award-number":["62293510,62273138"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,8]]},"DOI":"10.1109\/icarm58088.2023.10218822","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T17:17:20Z","timestamp":1692983840000},"page":"988-993","source":"Crossref","is-referenced-by-count":2,"title":["Motion Planning for Mobile Robots with Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Jianxin","family":"Zeng","sequence":"first","affiliation":[{"name":"College of Electrical and Information Engineering, and the National Engineering Research Center of Robot Visual Perception and Control Technology, Hunan University,Changsha,China,410082"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaonan","family":"Wang","sequence":"additional","affiliation":[{"name":"College of Electrical and Information Engineering, and the National Engineering Research Center of Robot Visual Perception and Control Technology, Hunan University,Changsha,China,410082"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiang","family":"Miao","sequence":"additional","affiliation":[{"name":"College of Electrical and Information Engineering, and the National Engineering Research Center of Robot Visual Perception and Control Technology, Hunan University,Changsha,China,410082"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sifei","family":"Wang","sequence":"additional","affiliation":[{"name":"College of Electrical and Information Engineering, and the National Engineering Research Center of Robot Visual Perception and Control Technology, Hunan University,Changsha,China,410082"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","article-title":"Differential flatness-based trajectory planning for autonomous vehicles","author":"han","year":"2022","journal-title":"ArXiv Preprint"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.3045925"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2017.2663526"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8462878"},{"key":"ref11","first-page":"835","article-title":"A convex optimization approach to smooth trajectories for motion planning with car-like robots","author":"zhu","year":"0","journal-title":"2015 54th IEEE Conference on Decision and Control (CDC)"},{"key":"ref10","first-page":"2","article-title":"Shortest path synthesis for dubins non-holonomic robot","author":"bui","year":"0","journal-title":"Proceedings of the 1994 IEEE International Conference on Robotics and Automation"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487258"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1874391.187410"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196928"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920918919"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2019.105591"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2021.3113709"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"key":"ref5","author":"baier","year":"2008","journal-title":"Principles of Model Checking"}],"event":{"name":"2023 International Conference on Advanced Robotics and Mechatronics (ICARM)","location":"Sanya, China","start":{"date-parts":[[2023,7,8]]},"end":{"date-parts":[[2023,7,10]]}},"container-title":["2023 International Conference on Advanced Robotics and Mechatronics (ICARM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10218726\/10218397\/10218822.pdf?arnumber=10218822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T17:41:18Z","timestamp":1695058878000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10218822\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icarm58088.2023.10218822","relation":{},"subject":[],"published":{"date-parts":[[2023,7,8]]}}}