{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T11:53:15Z","timestamp":1752666795163,"version":"3.40.4"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2014,5,1]],"date-time":"2014-05-01T00:00:00Z","timestamp":1398902400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2014,5,1]],"date-time":"2014-05-01T00:00:00Z","timestamp":1398902400000},"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":[[2014,5]]},"DOI":"10.1109\/icra.2014.6906924","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:32:36Z","timestamp":1412109156000},"page":"655-662","source":"Crossref","is-referenced-by-count":41,"title":["SMT-based synthesis of integrated task and motion plans from plan outlines"],"prefix":"10.1109","author":[{"given":"Srinivas","family":"Nedunuri","sequence":"first","affiliation":[{"name":"Dept. of Computer Science, Rice University, Houston, TX 77251"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sailesh","family":"Prabhu","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, Rice University, Houston, TX 77251"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Moll","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, Rice University, Houston, TX 77251"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swarat","family":"Chaudhuri","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, Rice University, Houston, TX 77251"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lydia E.","family":"Kavraki","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, Rice University, Houston, TX 77251"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2012.2205651"},{"year":"0","key":"ref32","article-title":"Rviz: A 3d visualization tool for ros"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.2181749"},{"journal-title":"The calculus of computation decision procedures with applications to verification","year":"2007","author":"bradley","key":"ref30"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/BioRob.2012.6290776"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"journal-title":"Automated Planning Theory & Practice","year":"2004","author":"nau","key":"ref12"},{"key":"ref13","first-page":"253","article-title":"The FF planning system: fast plan generation through heuristic search","volume":"14","author":"hoffmann","year":"2001","journal-title":"1 Artif Int Res"},{"year":"0","key":"ref14","article-title":"Ipc 2011 deterministic domains"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SSRR.2009.5424160"},{"key":"ref16","article-title":"Using classical planners for tasks with continuous operators in robotics","author":"srivastava","year":"2013","journal-title":"Intl Conf on Automated Planning and Scheduling"},{"key":"ref17","first-page":"359","article-title":"Planning as satisfiability","author":"kautz","year":"1992","journal-title":"Proceedings 10th European Conf Artificial Intelligence"},{"key":"ref18","first-page":"684","article-title":"Engineering efficient planners with SAT","volume":"242","author":"rintanen","year":"2012","journal-title":"European Conf on Artificial Intelligence"},{"key":"ref19","article-title":"Planning in the know: Hierarchical belief-space task and motion planning","author":"kaelbling","year":"0","journal-title":"Workshop on Mobile Manipulation IEEE Intl Conf on Robotics and Automation 2011"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"ref28"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1609\/icaps.v20i1.13436","article-title":"Combined task and motion planning for mobile manipulation","author":"wolfe","year":"2010","journal-title":"Intl Conf on Automated Planning and Scheduling"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844107"},{"key":"ref3","article-title":"Overview of aSyMov: Integrating motion, manipulation and task planning","author":"cambon","year":"2003","journal-title":"Intl Conf on Automated Planning and Scheduling Doctoral Consortium"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref29","article-title":"Achieving several goals simultaneously","author":"waldinger","year":"1977","journal-title":"Machine Intelligence 8 Machine Representations of Knowledge"},{"journal-title":"The Complexity of Robot Motion Planning","year":"1988","author":"canny","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_27"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631224"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.24"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6385972"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/1755952.1755968","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"Proc of the 13th ACM Intl Conf on Hybrid systems computation and control"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"key":"ref23","article-title":"Motion and action planning under LTL specifications using navigation functions and action description language","author":"guo","year":"2013","journal-title":"Proc of the Intl Conf on Intelligent Robots and Systems (IROS)"},{"key":"ref26","first-page":"1716","article-title":"A two level fuzzy PRM for manipulation planning","author":"nielsen","year":"2000","journal-title":"Proceedings of the International Conference on Intelligent Robots and Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"}],"event":{"name":"2014 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2014,5,31]]},"location":"Hong Kong, China","end":{"date-parts":[[2014,6,7]]}},"container-title":["2014 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6895053\/6906581\/06906924.pdf?arnumber=6906924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T23:04:26Z","timestamp":1746399866000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6906924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icra.2014.6906924","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}