{"id":"https://openalex.org/W4386766398","doi":"https://doi.org/10.1109/tro.2023.3304009","title":"Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks","display_name":"Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks","publication_year":2023,"publication_date":"2023-09-15","ids":{"openalex":"https://openalex.org/W4386766398","doi":"https://doi.org/10.1109/tro.2023.3304009"},"language":"en","primary_location":{"id":"doi:10.1109/tro.2023.3304009","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tro.2023.3304009","pdf_url":null,"source":{"id":"https://openalex.org/S144620930","display_name":"IEEE Transactions on Robotics","issn_l":"1552-3098","issn":["1552-3098","1941-0468"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Robotics","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 in Ithaca, Ithaca, NY, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University in Ithaca, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"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 in Ithaca, Ithaca, NY, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University in Ithaca, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066962702"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":1.5734,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.86525688,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"39","issue":"6","first_page":"4653","last_page":"4670"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9954000115394592,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9954000115394592,"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/T10142","display_name":"Formal Methods in Verification","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9940000176429749,"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.7449552416801453},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7252199053764343},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6904096603393555},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.628548800945282},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6224633455276489},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6048837900161743},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.4557092785835266},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.41746559739112854},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4086860120296478},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.39083364605903625},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30062246322631836},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11431694030761719}],"concepts":[{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7449552416801453},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7252199053764343},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6904096603393555},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.628548800945282},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6224633455276489},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6048837900161743},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.4557092785835266},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.41746559739112854},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4086860120296478},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.39083364605903625},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30062246322631836},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11431694030761719},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"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.1109/tro.2023.3304009","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tro.2023.3304009","pdf_url":null,"source":{"id":"https://openalex.org/S144620930","display_name":"IEEE Transactions on Robotics","issn_l":"1552-3098","issn":["1552-3098","1941-0468"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Robotics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1424654272","https://openalex.org/W1499127572","https://openalex.org/W1547304883","https://openalex.org/W1927741686","https://openalex.org/W1952489873","https://openalex.org/W2005998857","https://openalex.org/W2022850652","https://openalex.org/W2023808162","https://openalex.org/W2041701185","https://openalex.org/W2100538121","https://openalex.org/W2109525524","https://openalex.org/W2124339220","https://openalex.org/W2132714442","https://openalex.org/W2140801763","https://openalex.org/W2141841102","https://openalex.org/W2152924401","https://openalex.org/W2155020620","https://openalex.org/W2187020956","https://openalex.org/W2205340216","https://openalex.org/W2256658272","https://openalex.org/W2337392266","https://openalex.org/W2381901500","https://openalex.org/W2567705466","https://openalex.org/W2784743256","https://openalex.org/W2787066086","https://openalex.org/W2794922736","https://openalex.org/W2962822210","https://openalex.org/W2962927158","https://openalex.org/W2963566599","https://openalex.org/W2964219844","https://openalex.org/W2966537673","https://openalex.org/W2994446013","https://openalex.org/W3037476194","https://openalex.org/W3039865636","https://openalex.org/W3040183635","https://openalex.org/W3089675627","https://openalex.org/W3128894241","https://openalex.org/W3183217451","https://openalex.org/W3186824508","https://openalex.org/W4213374887","https://openalex.org/W4315488730","https://openalex.org/W6680971464","https://openalex.org/W6746119731","https://openalex.org/W6752155926","https://openalex.org/W6768977599","https://openalex.org/W6778051727"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2372020181","https://openalex.org/W2156531654","https://openalex.org/W4378714697","https://openalex.org/W1581723585","https://openalex.org/W2294330161","https://openalex.org/W2804553224","https://openalex.org/W3021103820","https://openalex.org/W1510159504","https://openalex.org/W2253069048"],"abstract_inverted_index":{"A":[0],"typical":[1],"approach":[2,178],"to":[3,9,40,43,47,66,111,138,149],"creating":[4],"complex":[5],"robot":[6,74,83],"behaviors":[7],"is":[8,38,126],"compose":[10],"atomic":[11],"controllers,":[12],"or":[13],"skills,":[14,36],"such":[15,71],"that":[16,72,91],"the":[17,45,49,73,105,116,119,124,141,145,157,172],"resulting":[18],"behavior":[19],"satisfies":[20],"a":[21,26,32,54,77,180,183],"high-level":[22],"task;":[23],"however,":[24],"when":[25],"task":[27,50],"cannot":[28],"be":[29],"accomplished":[30],"with":[31,60,179],"given":[33],"set":[34],"of":[35,118],"it":[37],"difficult":[39],"know":[41],"how":[42],"modify":[44,68],"skills":[46,70,84,147,161],"make":[48],"possible.":[51],"We":[52,81,175],"present":[53],"method":[55],"for":[56,98,171],"combining":[57],"symbolic":[58,134,158,173],"repair":[59,131],"physical":[61],"feasibility":[62],"checking":[63],"and":[64,96,122,182],"implementation":[65],"automatically":[67,167],"existing":[69],"can":[75],"execute":[76],"previously":[78],"infeasible":[79],"task.":[80],"encode":[82],"in":[85],"linear":[86],"temporal":[87],"logic":[88],"(LTL)":[89,153],"formulas":[90],"capture":[92],"both":[93],"safety":[94],"constraints":[95,154,170],"goals":[97],"reactive":[99],"tasks.":[100],"Furthermore,":[101],"our":[102,177],"encoding":[103],"captures":[104],"full":[106],"skill":[107,125],"execution,":[108],"as":[109],"opposed":[110],"prior":[112],"work":[113],"where":[114],"only":[115],"state":[117],"world":[120],"before":[121],"after":[123],"executed":[127],"are":[128,162],"considered.":[129],"Our":[130],"algorithm":[132],"suggests":[133],"modifications,":[135],"then":[136],"attempts":[137],"physically":[139,164],"implement":[140],"suggestions":[142],"by":[143],"modifying":[144],"original":[146],"subject":[148],"Linear":[150],"Temporal":[151],"Logic":[152],"derived":[155],"from":[156],"repair.":[159,174],"If":[160],"not":[163],"possible,":[165],"we":[166],"provide":[168],"additional":[169],"demonstrate":[176],"Baxter":[181],"Clearpath":[184],"Jackal.":[185]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}