{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:56:37Z","timestamp":1730292997429,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,1]]},"DOI":"10.1109\/ricai60863.2023.10489669","type":"proceedings-article","created":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T18:46:09Z","timestamp":1712861169000},"page":"286-292","source":"Crossref","is-referenced-by-count":0,"title":["Learning-Based Temporal Logic Control for Continuous POMDPs"],"prefix":"10.1109","author":[{"given":"Keyi","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhen","family":"Kan","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1561\/2200000086"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-042920-092451"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160306"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9560943"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3200138"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/01691864.2023.2226191"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2008.IV.009"},{"key":"ref8","first-page":"1025","article-title":"Point-based value iteration: An anytime algorithm for pomdps","volume":"3","author":"Pineau","year":"2003","journal-title":"Ijcai"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1496"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799415"},{"journal-title":"Point-based value iteration for continuous pomdps","year":"2006","author":"Porta","key":"ref11"},{"journal-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3006967"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_17"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_34"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.2980552"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561903"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3138704"},{"key":"ref20","first-page":"949","article-title":"Optimal control of partially observable markov decision processes with finite linear temporal logic constraints","volume-title":"Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence","volume":"180","author":"Kalagarla"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196796"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12963"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3039484"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30482-1_21"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3101544"},{"key":"ref26","first-page":"1023","article-title":"Acting optimally in partially observable stochastic domains","volume":"94","author":"Cassandra","year":"1994","journal-title":"Aaai"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i06.6563"}],"event":{"name":"2023 5th International Conference on Robotics, Intelligent Control and Artificial Intelligence (RICAI)","start":{"date-parts":[[2023,12,1]]},"location":"Hangzhou, China","end":{"date-parts":[[2023,12,3]]}},"container-title":["2023 5th International Conference on Robotics, Intelligent Control and Artificial Intelligence (RICAI)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/10488913\/10488921\/10489669.pdf?arnumber=10489669","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T06:12:19Z","timestamp":1712902339000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/10489669\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,1]]},"references-count":27,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/ricai60863.2023.10489669","relation":{},"subject":[],"published":{"date-parts":[[2023,12,1]]}}}