{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T19:28:11Z","timestamp":1782847691377,"version":"3.54.5"},"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":9,"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingyu","family":"Cai","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Lehigh University, Bethlehem, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhaoan","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Iowa Technology Institute, The University of Iowa, Iowa City, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaoping","family":"Xiao","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Iowa Technology Institute, The University of Iowa, Iowa City, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2023,6,27]]},"reference":[{"key":"CIT0001","volume-title":"Dynamic programming and Markov processes","author":"Howard RA.","year":"1960"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.28.1.1"},{"key":"CIT0003","volume-title":"Reinforcement learning: an introduction","author":"Sutton RS","year":"2018"},{"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"},{"key":"CIT0011","volume-title":"Robotics: Science and systems","author":"Kurniawati H","year":"2008"},{"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"},{"key":"CIT0017","volume-title":"Principles of model checking","author":"Baier C","year":"2008"},{"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"},{"key":"CIT0025","author":"Wang Y","year":"2021","journal-title":"arXiv preprint arXiv:2104.01612"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225177"},{"key":"CIT0027","volume-title":"Advances in Neural Information Processing Systems 32 (NeurIPS 2019)","author":"Icarte RT","year":"2019"},{"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":[{"value":"0169-1864","type":"print"},{"value":"1568-5535","type":"electronic"}],"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"}}]}}