{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:19:51Z","timestamp":1740100791955,"version":"3.37.3"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000006","name":"ONR","doi-asserted-by":"publisher","award":["N00014-17-1-2699"],"award-info":[{"award-number":["N00014-17-1-2699"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,23]]},"DOI":"10.1109\/icra46639.2022.9812355","type":"proceedings-article","created":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T19:36:40Z","timestamp":1657654600000},"page":"1888-1895","source":"Crossref","is-referenced-by-count":2,"title":["Using Language to Generate State Abstractions for Long-Range Planning in Outdoor Environments"],"prefix":"10.1109","author":[{"given":"Matthew","family":"Berg","sequence":"first","affiliation":[{"name":"Brown University,Providence,RI,USA,02912"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Konidaris","sequence":"additional","affiliation":[{"name":"Brown University,Providence,RI,USA,02912"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefanie","family":"Tellex","sequence":"additional","affiliation":[{"name":"Brown University,Providence,RI,USA,02912"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"ROS: An open-source robot operating system","author":"quigley","year":"2009","journal-title":"IEEE In-ternational Conference on Robotics and Automation Workshop on Open Source Software"},{"journal-title":"Mapbox unity SDK","year":"0","key":"ref38"},{"journal-title":"Map Features","year":"2021","key":"ref33"},{"key":"ref32","article-title":"Navigation and Nautical Astronomy for the Use of British Seamen","author":"inman","year":"1835","journal-title":"C & J Rivington"},{"key":"ref31","first-page":"793","article-title":"Sur la sphère vide","volume":"1934","author":"delaunay","year":"1934","journal-title":"Bull Acad Sci URSS"},{"journal-title":"Five Balltree Construction Al-gorithms","year":"1989","author":"omohundro","key":"ref30"},{"journal-title":"Unity","year":"0","key":"ref37"},{"journal-title":"Rtree Spatial indexing for python","year":"0","author":"butler","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/602259.602266"},{"journal-title":"Dynamic Programming","year":"1957","author":"bellman","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48384-5_5"},{"journal-title":"ROS#","year":"0","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00017-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1734454.1734552"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1734454.1734553"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v25i1.7979","article-title":"Understanding natural language commands for robotic navigation and mobile manipulation","volume":"25","author":"tellex","year":"2011","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793888"},{"key":"ref16","article-title":"Stochastic finite state control of pomdps with LTL specifications","author":"ahmadi","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RO-MAN50785.2021.9515426"},{"key":"ref18","first-page":"4830","article-title":"Learning and planning for tem-porally extended tasks in unknown environments","author":"bradley","year":"2021","journal-title":"IEEE International Conference on Robotics and Au-tomation (ICRA)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8461096"},{"key":"ref28","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-101119-071628"},{"key":"ref27","article-title":"Environment-independent task specifications via GLTL","volume":"abs 1704 4341","author":"littman","year":"2017","journal-title":"ArXiv"},{"journal-title":"Waymo tests autonomous trucks in texas","year":"2020","author":"hirsch","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2019.XV.059"},{"journal-title":"Elements","year":"2020","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.067"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197068"},{"journal-title":"Company Overview","year":"2020","key":"ref2"},{"journal-title":"Planet Dump Retrieved From","year":"2017","key":"ref9"},{"journal-title":"the air with zipline's medical delivery drones","year":"2019","author":"ackerman","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.037"},{"key":"ref22","article-title":"Robot - initiated specification repair through grounded language interaction","author":"boteanu","year":"2017","journal-title":"AAAI Fall Symposium on Natural Communication for Human-Robot Collaboration"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-00065-7_28"},{"key":"ref24","article-title":"Learning a natural-language to LTL executable seman-tic parser for grounded robotics","author":"wang","year":"2020","journal-title":"4th Annual Conference on Robot Learning (CoRL)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref26","first-page":"3104","article-title":"Sequence to sequence learning with neural networks","author":"sutskever","year":"2014","journal-title":"Proceedings of the 27th International Conference on Neural Information Processing Systems - Volume2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"}],"event":{"name":"2022 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2022,5,23]]},"location":"Philadelphia, PA, USA","end":{"date-parts":[[2022,5,27]]}},"container-title":["2022 International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9811522\/9811357\/09812355.pdf?arnumber=9812355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,29]],"date-time":"2024-09-29T00:04:54Z","timestamp":1727568294000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9812355\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,23]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/icra46639.2022.9812355","relation":{},"subject":[],"published":{"date-parts":[[2022,5,23]]}}}