{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T13:02:18Z","timestamp":1762088538917,"version":"build-2065373602"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10160897","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:20:56Z","timestamp":1688491256000},"page":"5723-5729","source":"Crossref","is-referenced-by-count":2,"title":["Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides"],"prefix":"10.1109","author":[{"given":"Qi Heng","family":"Ho","sequence":"first","affiliation":[{"name":"University of Colorado,department of Aerospace Engineering Sciences,Boulder,CO,USA"}]},{"given":"Zachary N.","family":"Sunberg","sequence":"additional","affiliation":[{"name":"University of Colorado,department of Aerospace Engineering Sciences,Boulder,CO,USA"}]},{"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"University of Colorado,department of Aerospace Engineering Sciences,Boulder,CO,USA"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.24963\/ijcai.2020\/690"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1146\/annurev-control-060117-104838"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/ROBOT.2005.1570410"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/ROBOT.2010.5509503"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/2461328.2461380"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/TRO.2021.3061983"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.3233\/aic-150682"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.4204\/EPTCS.326.11"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ICRA.2012.6225290"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-319-16595-0_20"},{"key":"ref11","first-page":"10061","article-title":"Point-based methods for model checking in partially observable markov decision processes","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"Bouton"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.ifacol.2018.08.046"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1146\/annurev-control-060117-105226"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.2514\/6.2010-8160"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TRO.2011.2161160"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/ICRA.2014.6907131"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/IROS.2011.6095010"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/ICRA.2011.5980508"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/ICRA46639.2022.9812343"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/ICRA46639.2022.9811560"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/TASE.2021.3118737"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/TAC.2020.3044273"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/TRO.2010.2047820"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1109\/CDC51059.2022.9993090","volume-title":"Automaton-guided control synthesis for signal temporal logic specifications","author":"Ho","year":"2022"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/CASE48305.2020.9216891"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.7551\/mitpress\/3206.001.0001"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.15607\/rss.2016.xii.017"},{"volume-title":"Active perception and control from prstl specifications","year":"2021","author":"da Silva","key":"ref28"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/s10817-017-9413-9"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/TRO.2022.3144073"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/3302504.3311805"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/ICRA.2014.6907131"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1177\/0278364920913922"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1016\/S1474-6670(17)38011-4"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2023,5,29]]},"location":"London, United Kingdom","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10160211\/10160212\/10160897.pdf?arnumber=10160897","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T03:44:15Z","timestamp":1710387855000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10160897\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10160897","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}