{"id":"https://openalex.org/W4376637585","doi":"https://doi.org/10.1177/02783649231167207","title":"Automatic encoding and repair of reactive high-level tasks with learned abstract representations","display_name":"Automatic encoding and repair of reactive high-level tasks with learned abstract representations","publication_year":2023,"publication_date":"2023-04-01","ids":{"openalex":"https://openalex.org/W4376637585","doi":"https://doi.org/10.1177/02783649231167207"},"language":"en","primary_location":{"id":"doi:10.1177/02783649231167207","is_oa":false,"landing_page_url":"https://doi.org/10.1177/02783649231167207","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066962702","display_name":"Adam Pacheck","orcid":"https://orcid.org/0000-0002-4349-1888"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Adam Pacheck","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-4349-1888","affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078861770","display_name":"Steven James","orcid":"https://orcid.org/0000-0003-4366-4125"},"institutions":[{"id":"https://openalex.org/I192619145","display_name":"University of the Witwatersrand","ror":"https://ror.org/03rp50x72","country_code":"ZA","type":"education","lineage":["https://openalex.org/I192619145"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Steven James","raw_affiliation_strings":["University of the Witwatersrand, Johannesburg, South Africa"],"raw_orcid":"https://orcid.org/0000-0003-4366-4125","affiliations":[{"raw_affiliation_string":"University of the Witwatersrand, Johannesburg, South Africa","institution_ids":["https://openalex.org/I192619145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078124517","display_name":"George Konidaris","orcid":"https://orcid.org/0000-0002-4460-2519"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George Konidaris","raw_affiliation_strings":["Brown University, Providence, RI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University, Providence, RI, USA","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020074157","display_name":"Hadas Kress\u2010Gazit","orcid":"https://orcid.org/0000-0002-7754-1011"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hadas Kress-Gazit","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5066962702"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":0.6345,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.721056,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"42","issue":"4-5","first_page":"263","last_page":"288"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.7436188459396362},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.7215202450752258},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.7135035395622253},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7127170562744141},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.5891321897506714},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5823743939399719},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5337406396865845},{"id":"https://openalex.org/keywords/robotic-arm","display_name":"Robotic arm","score":0.45067527890205383},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.35589689016342163},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.3291318416595459},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20393314957618713},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1408313512802124},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.08249121904373169}],"concepts":[{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7436188459396362},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.7215202450752258},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.7135035395622253},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7127170562744141},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.5891321897506714},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5823743939399719},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5337406396865845},{"id":"https://openalex.org/C150415221","wikidata":"https://www.wikidata.org/wiki/Q40687","display_name":"Robotic arm","level":2,"score":0.45067527890205383},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.35589689016342163},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.3291318416595459},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20393314957618713},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1408313512802124},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.08249121904373169},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1177/02783649231167207","is_oa":false,"landing_page_url":"https://doi.org/10.1177/02783649231167207","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G8105294677","display_name":null,"funder_award_id":"N00014-17-1-2699","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1499127572","https://openalex.org/W1506047933","https://openalex.org/W1551756267","https://openalex.org/W1565544898","https://openalex.org/W1927741686","https://openalex.org/W2004796166","https://openalex.org/W2014268383","https://openalex.org/W2022850652","https://openalex.org/W2023808162","https://openalex.org/W2041701185","https://openalex.org/W2109525524","https://openalex.org/W2118020555","https://openalex.org/W2119709400","https://openalex.org/W2119972318","https://openalex.org/W2123649031","https://openalex.org/W2124339220","https://openalex.org/W2141841102","https://openalex.org/W2148446974","https://openalex.org/W2151958719","https://openalex.org/W2152924401","https://openalex.org/W2155020620","https://openalex.org/W2202410222","https://openalex.org/W2336884378","https://openalex.org/W2337392266","https://openalex.org/W2381901500","https://openalex.org/W2476245236","https://openalex.org/W2479648088","https://openalex.org/W2500165681","https://openalex.org/W2528951757","https://openalex.org/W2565233142","https://openalex.org/W2784743256","https://openalex.org/W2787066086","https://openalex.org/W2794922736","https://openalex.org/W2906634895","https://openalex.org/W2953432230","https://openalex.org/W2963566599","https://openalex.org/W2964004050","https://openalex.org/W2967324402","https://openalex.org/W3089675627","https://openalex.org/W3128894241","https://openalex.org/W3183217451","https://openalex.org/W4239510810","https://openalex.org/W4299737965"],"related_works":["https://openalex.org/W2147818368","https://openalex.org/W2789480012","https://openalex.org/W2061090284","https://openalex.org/W2125579716","https://openalex.org/W2198681394","https://openalex.org/W4229726131","https://openalex.org/W2166791242","https://openalex.org/W2323122434","https://openalex.org/W67682705","https://openalex.org/W3038859464"],"abstract_inverted_index":{"We":[0,108],"present":[1,81],"a":[2,14,18,45,58,71,113,119,121,127,130],"framework":[3,111],"for":[4,52,89,94],"the":[5,34,63,66,77,95,105],"automatic":[6],"encoding":[7],"and":[8,30,86,129],"repair":[9],"of":[10,16],"high-level":[11,50],"tasks.":[12],"Given":[13],"set":[15],"skills":[17,93,101],"robot":[19,96,115,123],"can":[20,47,55],"perform,":[21],"our":[22,110],"approach":[23],"first":[24],"abstracts":[25],"sensor":[26,137],"data":[27],"into":[28],"symbols":[29],"then":[31],"automatically":[32,56,90],"encodes":[33],"robot\u2019s":[35,78],"capabilities":[36],"in":[37],"Linear":[38],"Temporal":[39],"Logic":[40],"(LTL).":[41],"Using":[42],"this":[43],"encoding,":[44],"user":[46],"specify":[48],"reactive":[49],"tasks,":[51],"which":[53],"we":[54,80],"synthesize":[57],"strategy":[59],"that":[60,102],"executes":[61],"on":[62,112,118,126],"robot,":[64],"if":[65],"task":[67,72,106],"is":[68,73],"feasible.":[69,107],"If":[70],"not":[74],"feasible":[75],"given":[76],"capabilities,":[79],"two":[82],"methods,":[83],"one":[84,87],"enumeration-based":[85],"synthesis-based,":[88],"suggesting":[91],"additional":[92],"or":[97],"modifications":[98],"to":[99],"existing":[100],"would":[103],"make":[104],"demonstrate":[109],"Baxter":[114,122],"manipulating":[116,124,133],"blocks":[117],"table,":[120,128],"plates":[125],"Kinova":[131],"arm":[132],"vials,":[134],"with":[135],"multiple":[136],"modalities,":[138],"including":[139],"raw":[140],"images.":[141]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}