{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:23:09Z","timestamp":1740140589165,"version":"3.37.3"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000005","name":"U.S. Department of Defense","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000005","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Defense Science and Engineering Graduate Fellowship (NDSEG) Program"},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2127309"],"award-info":[{"award-number":["2127309"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Computing Research Association for the CIFellows Project"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1109\/tro.2023.3294918","type":"journal-article","created":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T17:39:04Z","timestamp":1691602744000},"page":"4152-4165","source":"Crossref","is-referenced-by-count":1,"title":["Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6200-9762","authenticated-orcid":false,"given":"Wil","family":"Thomason","sequence":"first","affiliation":[{"name":"Department of Computer Science, Rice University, Houston, TX, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7754-1011","authenticated-orcid":false,"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[{"name":"Sibley School of Mechanical and Aerospace Engineering, Cornell University, Ithaca, NY, USA"}]}],"member":"263","reference":[{"key":"ref13","first-page":"113","article-title":"A geometrical approach to planning manipulation tasks","author":"alami","year":"0","journal-title":"Proc Int Symp Robot Res"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914545811"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630814"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364908097884"},{"article-title":"JAX: Composable transformations of python NumPy programs","year":"2018","author":"bradbury","key":"ref53"},{"article-title":"The NLopt nonlinear-optimization package","year":"2022","author":"johnson","key":"ref52"},{"key":"ref11","first-page":"179","article-title":"FFRob: An efficient heuristic for task and motion planning","author":"garrett","year":"2014","journal-title":"Algorithmic Foundation of Robotics VI Springer Tracts in Advanced Robotics"},{"article-title":"Ellipsotopes: Combining ellipsoids and zonotopes for reachability analysis and fault detection","year":"2021","author":"kousik","key":"ref55"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25116-0_9"},{"article-title":"Bullet physics library","year":"2013","author":"coumans","key":"ref54"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8594027"},{"key":"ref16","article-title":"Learning sparse relational transition models","author":"xia","year":"0","journal-title":"Proc Int Conf Learn Represent"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5575"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1177\/02783649211004615"},{"journal-title":"Numerical Optimization","year":"2006","author":"nocedal","key":"ref51"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1137\/0728030"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2009.V.003"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1142\/S0219843605000594"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.097"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1002\/9781118761588"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461358"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i06.6607"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.12.008"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1080\/10556780701577730"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918802962"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"ref4","first-page":"1930","article-title":"Logic-geometric programming: An optimization-based approach to combined task and motion planning","author":"toussaint","year":"0","journal-title":"Proc 24th Int Conf Artif Intell"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-95459-8_47"},{"article-title":"Constrained polynomial zonotopes","year":"2020","author":"kochdumper","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6906922"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3024348"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.001"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-010-5186-7"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683354"},{"key":"ref36","article-title":"Learning model preconditions for planning with multiple models","author":"lagrassa","year":"0","journal-title":"Proc 5th Annu Conf Robot Learn"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/122344.122377"},{"key":"ref30","article-title":"Sample-efficient Reinforcement Learning via Difference Models","author":"rastogi","year":"0","journal-title":"Proc 3rd Mach Learn Plan Control Robot Motion Workshop"},{"key":"ref33","first-page":"1209","article-title":"Multi-resolution exploration in continuous spaces","author":"nouri","year":"0","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329242"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.002"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6739"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110204"},{"key":"ref24","first-page":"212","article-title":"Plan stability: Replanning versus plan repair","author":"fox","year":"0","journal-title":"Proc 6th Int Conf Automated Plan Scheduling"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85845-4_21"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"ref25","first-page":"154","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"Computer Aided Verification"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8594313"},{"key":"ref22","first-page":"161","article-title":"Plan repair as an extension of planning","volume":"5","author":"krogt","year":"0","journal-title":"The International Conference on Automated Planning & Scheduling"},{"key":"ref21","first-page":"28","article-title":"Repairing plans on-the-fly","author":"drabble","year":"0","journal-title":"Proc NASA Workshop Plan Scheduling Space"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_15"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_14"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143845"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8860\/10271771\/10214189-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/10271771\/10214189.pdf?arnumber=10214189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T19:26:56Z","timestamp":1698694016000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10214189\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10]]},"references-count":55,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tro.2023.3294918","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"type":"print","value":"1552-3098"},{"type":"electronic","value":"1941-0468"}],"subject":[],"published":{"date-parts":[[2023,10]]}}}