{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T21:25:11Z","timestamp":1754601911408,"version":"3.37.3"},"reference-count":41,"publisher":"Informa UK Limited","issue":"14","funder":[{"name":"US Department of Education","award":["ED#P116S210005"],"award-info":[{"award-number":["ED#P116S210005"]}]},{"DOI":"10.13039\/501100008982","name":"US National Science Foundation NSF","doi-asserted-by":"publisher","award":["#2226936"],"award-info":[{"award-number":["#2226936"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Advanced Robotics"],"published-print":{"date-parts":[[2023,7,18]]},"DOI":"10.1080\/01691864.2023.2226191","type":"journal-article","created":{"date-parts":[[2023,6,27]],"date-time":"2023-06-27T18:36:57Z","timestamp":1687891017000},"page":"871-886","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":7,"title":["Model-based motion planning in POMDPs with temporal logic specifications"],"prefix":"10.1080","volume":"37","author":[{"given":"Junchao","family":"Li","sequence":"first","affiliation":[{"name":"Department of Mechanical Engineering, Iowa Technology Institute, The University of Iowa, Iowa City, IA, USA"}]},{"given":"Mingyu","family":"Cai","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Lehigh University, Bethlehem, PA, USA"}]},{"given":"Zhaoan","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Iowa Technology Institute, The University of Iowa, Iowa City, IA, USA"}]},{"given":"Shaoping","family":"Xiao","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Iowa Technology Institute, The University of Iowa, Iowa City, IA, USA"}]}],"member":"301","published-online":{"date-parts":[[2023,6,27]]},"reference":[{"volume-title":"Dynamic programming and Markov processes","year":"1960","author":"Howard RA.","key":"CIT0001"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.28.1.1"},{"volume-title":"Reinforcement learning: an introduction","year":"2018","author":"Sutton RS","key":"CIT0003"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"CIT0005","unstructured":"Sondik EJ. The optimal control of partially observable Markov decision processes [PhD thesis]. Stanford, California; 1971."},{"key":"CIT0006","unstructured":"Cheng HT. Algorithms for partially observable Markov decision process [PhD thesis]. University of British Columbia; 1988."},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-335-6.50027-1"},{"key":"CIT0008","unstructured":"Zhang NL, Liu W. Planning in stochastic domains: problem characteristics and approximation. THKUST-CS96-31. Hong Kong University; 1996."},{"key":"CIT0009","unstructured":"Pineau J, Gordon G, Thrun S. Point-based value iteration: an anytime algorithm for POMDPs. Proceedings of the 18th international joint conference on artificial intelligence (IJCAI'03). San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.; 2008. p. 1025\u20131030."},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-012-9200-2"},{"volume-title":"Robotics: Science and systems","year":"2008","author":"Kurniawati H","key":"CIT0011"},{"key":"CIT0012","unstructured":"Boettiger C, Ooms J, Memarzadeh M. Sarsop: approximate POMDP planning software. (July 6, 2022) CRAN.R-project.org\/package=sarsop."},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992698"},{"key":"CIT0014","unstructured":"Egorov M. Deep reinforcement learning with POMDPs [Tech. Rep.]. Stanford, CA, USA: Stanford University; 2015."},{"key":"CIT0015","unstructured":"Mnih V, Silver D, Riedmiller M. Playing Atari with deep Q learning. Nips. 2013."},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier C","key":"CIT0017"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_34"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17462-0_27"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.7782633"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139019"},{"key":"CIT0023","doi-asserted-by":"crossref","unstructured":"Sharan R, Burdick J. Finite state control of POMDPs with LTL specifications. 2014 American control conference. Portland, Oregon, USA: IEEE. 2014. p. 501\u2013508.","DOI":"10.1109\/ACC.2014.6858909"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i06.6563"},{"journal-title":"arXiv preprint arXiv:2104.01612","year":"2021","author":"Wang Y","key":"CIT0025"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225177"},{"volume-title":"Advances in Neural Information Processing Systems 32 (NeurIPS 2019)","year":"2019","author":"Icarte RT","key":"CIT0027"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022628806385"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196796"},{"key":"CIT0030","first-page":"312","volume-title":"Computer Aided Verification: 28th International Conference, CAV 2016.","author":"Sickert S","year":"2016"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3138704"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561903"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3101544"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1613\/jair.678"},{"key":"CIT0035","unstructured":"K\u0159et\u00ednsk\u00fd J, Meggendorfer T, Sickert S, et\u00a0al. Rabinizer 4: From LTL to your favourite deterministic automaton. Available from: https:\/\/www7.in.tum.de\/\u223ckretinsk\/rabinizer4.html."},{"key":"CIT0036","unstructured":"Coumans E, Bai Y. PyBullet, a Python module for physics simulation for games, robotics and machine learning. Available from: https:\/\/pybullet.org\/wordpress\/."},{"key":"CIT0037","unstructured":"Grady DK, Moll M, Kavraki LE. Combining a POMDP abstraction with replanning to solve complex, position-dependent sensing tasks. 2013 AAAI fall symposium series. 2013."},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2441511"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2019.01.003"},{"key":"CIT0040","doi-asserted-by":"publisher","DOI":"10.1016\/j.egyr.2022.03.176"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"}],"container-title":["Advanced Robotics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/01691864.2023.2226191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,5]],"date-time":"2023-08-05T18:08:30Z","timestamp":1691258910000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/01691864.2023.2226191"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,27]]},"references-count":41,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2023,7,18]]}},"alternative-id":["10.1080\/01691864.2023.2226191"],"URL":"https:\/\/doi.org\/10.1080\/01691864.2023.2226191","relation":{},"ISSN":["0169-1864","1568-5535"],"issn-type":[{"type":"print","value":"0169-1864"},{"type":"electronic","value":"1568-5535"}],"subject":[],"published":{"date-parts":[[2023,6,27]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tadr20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tadr20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2022-11-15","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-03-11","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-05-14","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-06-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}