{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T10:07:06Z","timestamp":1766138826845,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"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":[[2024,5,13]]},"DOI":"10.1109\/icra57147.2024.10611699","type":"proceedings-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T17:51:05Z","timestamp":1723139465000},"page":"10496-10502","source":"Crossref","is-referenced-by-count":7,"title":["NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots"],"prefix":"10.1109","author":[{"given":"Ruijia","family":"Liu","sequence":"first","affiliation":[{"name":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240"}]},{"given":"Shaoyuan","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2799561"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3006967"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3181948"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2022.105130"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3327312"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-150682"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CIS-RAM47153.2019.9095786"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CASE48305.2020.9217012"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3165184"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55146-8_24"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2023.10.416"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2023.105600"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315419"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697051"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2853558"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3061983"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460730"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2976560"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCDS.2021.3063273"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2020.3006716"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3049917"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3155197"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3101544"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160953"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref31"},{"issue":"20","key":"ref32","first-page":"10","article-title":"Graph attention networks","volume":"1050","author":"Velickovic","year":"2017","journal-title":"Stat"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24574-4_28"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"}],"event":{"name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2024,5,13]]},"location":"Yokohama, Japan","end":{"date-parts":[[2024,5,17]]}},"container-title":["2024 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10609961\/10609862\/10611699.pdf?arnumber=10611699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T04:20:22Z","timestamp":1723350022000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10611699\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icra57147.2024.10611699","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]}}}