{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T04:36:25Z","timestamp":1771994185704,"version":"3.50.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"ONR PERISCOPE MURI","award":["N00014-17-1-2699"],"award-info":[{"award-number":["N00014-17-1-2699"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1109\/tro.2023.3304009","type":"journal-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T17:53:11Z","timestamp":1694800391000},"page":"4653-4670","source":"Crossref","is-referenced-by-count":11,"title":["Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4349-1888","authenticated-orcid":false,"given":"Adam","family":"Pacheck","sequence":"first","affiliation":[{"name":"Cornell University in Ithaca, Ithaca, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7754-1011","authenticated-orcid":false,"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[{"name":"Cornell University in Ithaca, Ithaca, NY, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5575"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/02783649922066385"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197223"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679387"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.07.012"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883847"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992914"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9635906"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2012.2214558"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.004"},{"key":"ref17","first-page":"109","article-title":"Towards robust skill generalization: Unifying learning from demonstration and motion planning","volume-title":"Proc. Conf. Robot Learn.","author":"Rana","year":"2017"},{"key":"ref18","first-page":"452","article-title":"Teaching multiple tasks to an RL agent using LTL","volume-title":"Proc. 17th Int. Conf. Auton. Agents MultiAgent Syst.","author":"Icarte","year":"2018"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/fmcad.2009.5351127"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915587034"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340472"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-95459-8_31"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206234"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6750"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/840"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-091420-084139"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6906922"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2017.2783445"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561895"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918761570"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-100819-063206"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/11008941_60"},{"key":"ref39","first-page":"247","article-title":"Learning from demonstration with model-based Gaussian process","volume-title":"Proc. Conf. Robot Learn.","author":"Jaquier","year":"2019"},{"key":"ref40","first-page":"933","article-title":"Task-conditioned variational autoencoders for learning movement primitives","volume-title":"Proc. Conf. Robot Learn.","author":"Noseworthy","year":"2019"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.056"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2015.7363472"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref45","first-page":"2616","article-title":"Probabilistic movement primitives","volume":"26","author":"Paraschos","year":"2013","journal-title":"Adv. Neural Inf. Process. Syst."}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/10352149\/10252153.pdf?arnumber=10252153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T01:11:47Z","timestamp":1703034707000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10252153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12]]},"references-count":45,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tro.2023.3304009","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"value":"1552-3098","type":"print"},{"value":"1941-0468","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12]]}}}