{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T22:21:50Z","timestamp":1771366910637,"version":"3.50.1"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR00112490426"],"award-info":[{"award-number":["HR00112490426"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Sony Research Award"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1109\/lra.2026.3662556","type":"journal-article","created":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T21:09:14Z","timestamp":1770671354000},"page":"3684-3691","source":"Crossref","is-referenced-by-count":0,"title":["Fast Task Planning With Neuro-Symbolic Relaxation"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9584-060X","authenticated-orcid":false,"given":"Qiwei","family":"Du","sequence":"first","affiliation":[{"name":"Spatial AI & Robotics Lab, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bowen","family":"Li","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Du","sequence":"additional","affiliation":[{"name":"Spatial AI & Robotics Lab, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1690-2327","authenticated-orcid":false,"given":"Shaoshu","family":"Su","sequence":"additional","affiliation":[{"name":"Spatial AI & Robotics Lab, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4545-7736","authenticated-orcid":false,"given":"Taimeng","family":"Fu","sequence":"additional","affiliation":[{"name":"Spatial AI & Robotics Lab, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4111-766X","authenticated-orcid":false,"given":"Zitong","family":"Zhan","sequence":"additional","affiliation":[{"name":"Spatial AI & Robotics Lab, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1588-2859","authenticated-orcid":false,"given":"Zhipeng","family":"Zhao","sequence":"additional","affiliation":[{"name":"Spatial AI & Robotics Lab, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4630-0805","authenticated-orcid":false,"given":"Chen","family":"Wang","sequence":"additional","affiliation":[{"name":"Spatial AI & Robotics Lab, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10341755"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2020.106174"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-017-0680-9"},{"key":"ref4","article-title":"A multi-robot task assignment framework for search and rescue with heterogeneous teams","author":"Osooli","year":"2023"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1705"},{"key":"ref6","article-title":"PDDL2.2: The language for the classical part of the 4th international planning competition","author":"Edelkamp","year":"2004"},{"key":"ref7","first-page":"69840","article-title":"LogiCity: Advancing neuro-symbolic AI with abstract urban simulation","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Li","year":"2024"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1613\/jair.855"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v19i1.13370"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i13.17421"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2018.8490422"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90081-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i06.6607"},{"key":"ref15","first-page":"59522","article-title":"What planning problems can a relational neural network solve?","volume":"36","author":"Mao","year":"2023","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2023.XIX.061"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.52202\/079017-2893"},{"key":"ref18","first-page":"73383","article-title":"Minigrid & miniworld: Modular & customizable reinforcement learning environments for goal-oriented tasks","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"36","author":"Chevalier-Boisvert","year":"2023"},{"key":"ref19","article-title":"ISAAC Gym: High performance GPU-based physics simulation for robot learning","volume-title":"Proc. 35th Conf. Neural Inf. Process. Syst. Datasets Benchmarks Track (Round 2)","author":"Makoviychuk","year":"2021"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6739"},{"key":"ref21","article-title":"Automated planning of industrial logistics on a skill-equipped robot","volume-title":"Proc. Workshop Task Plan. Intell. Robots Serv. Manuf.","author":"Pedersen","year":"2015"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.18893.74727"},{"key":"ref23","first-page":"358","article-title":"Embodied active learning of relational state abstractions for bilevel planning","volume-title":"Proc. Conf. Lifelong Learn. Agents","author":"Li","year":"2023"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i10.26429"},{"key":"ref25","first-page":"8407","article-title":"Bisimulation makes analogies in goal-conditioned reinforcement learning","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Hansen-Estruch","year":"2022"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2025.XXI.043"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981440"},{"key":"ref28","first-page":"701","article-title":"Learning neuro-symbolic skills for bilevel planning","volume-title":"Proc. Conf. Robot Learn.","author":"Silver","year":"2023"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2024.XX.040"},{"key":"ref30","first-page":"2070","article-title":"Learning efficient abstract planning models that choose what to predict","volume-title":"Proc. Conf. Robot Learn.","author":"Kumar","year":"2023"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.08.001"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/650"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i5.20475"},{"key":"ref34","article-title":"Learning generalized policies for fully observable non-deterministic planning domains","author":"Hofmann","year":"2024"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/435"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN54540.2023.10190993"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref38","article-title":"Sokoban is pspace-complete","author":"Culberson","year":"1997"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1177\/02783649251353181"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7083369\/11359420\/11373873.pdf?arnumber=11373873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T21:10:23Z","timestamp":1771362623000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11373873\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3]]},"references-count":39,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/lra.2026.3662556","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3]]}}}