{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T15:28:16Z","timestamp":1766158096827,"version":"3.37.3"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-0953976","CNS-1218109","CNS-1618369"],"award-info":[{"award-number":["CNS-0953976","CNS-1218109","CNS-1618369"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1109\/lra.2017.2755078","type":"journal-article","created":{"date-parts":[[2017,9,21]],"date-time":"2017-09-21T18:12:08Z","timestamp":1506017528000},"page":"379-386","source":"Crossref","is-referenced-by-count":19,"title":["Task and Motion Planning for Manipulator Arms With Metric Temporal Logic Specifications"],"prefix":"10.1109","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9028-3600","authenticated-orcid":false,"given":"Sayan","family":"Saha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0970-3226","authenticated-orcid":false,"given":"Anak Agung","family":"Julius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2002","author":"khalil","journal-title":"Nonlinear Systems","key":"ref32"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/PL00011391"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/ICRA.2012.6225337"},{"key":"ref10","first-page":"639","article-title":"Combined task and motion planning through an extensible planner-independent interface layer","author":"fang","year":"0","journal-title":"Proc 2014 IEEE Int Conf Robot Autom"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ICRA.2014.6906924"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/ICRA.2015.7139022"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.15607\/RSS.2016.XII.002"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1177\/0278364915619022"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/TAC.2007.914952"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/j.automatica.2008.08.008"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/75277.75293"},{"key":"ref19","first-page":"735","article-title":"Sampling-based algorithms for optimal motion planning with deterministic $\\mu$-calculus specifications","author":"karaman","year":"2012","journal-title":"Proc 2012 Amer Control Conf"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/CACSD.2004.1393890"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/70.508439"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1007\/978-3-642-19835-9_21"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/70.88035"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1177\/0278364913488805"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/56.2083"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/ROBOT.2000.844730"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/j.artint.2012.08.001"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","article-title":"The FF planning system: Fast plan generation through heuristic search","volume":"14","author":"hoffmann","year":"2001","journal-title":"J Artif Intell Res"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-1-4615-4022-9"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1177\/0278364908097884"},{"year":"1994","author":"murray","journal-title":"A Mathematical Introduction to Robotic Manipulation","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/2728606.2728635"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/ACC.2013.6580513"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1016\/j.tcs.2009.06.021"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/ICRA.2012.6225257"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/ACC.2014.6859453"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/ACC.2016.7525063"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/ICRA.2014.6906895"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/7083369\/8013191\/8047983-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/8013191\/08047983.pdf?arnumber=8047983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:54:54Z","timestamp":1649444094000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8047983\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":32,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/lra.2017.2755078","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"type":"electronic","value":"2377-3766"},{"type":"electronic","value":"2377-3774"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}