{"id":"https://openalex.org/W4224093176","doi":"https://doi.org/10.24963/ijcai.2022/663","title":"Real-Time Heuristic Search with LTLf Goals","display_name":"Real-Time Heuristic Search with LTLf Goals","publication_year":2022,"publication_date":"2022-07-01","ids":{"openalex":"https://openalex.org/W4224093176","doi":"https://doi.org/10.24963/ijcai.2022/663"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2022/663","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/663","pdf_url":"https://www.ijcai.org/proceedings/2022/0663.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.ijcai.org/proceedings/2022/0663.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098356083","display_name":"Jaime Middleton","orcid":null},"institutions":[{"id":"https://openalex.org/I162148367","display_name":"Pontificia Universidad Cat\u00f3lica de Chile","ror":"https://ror.org/04teye511","country_code":"CL","type":"education","lineage":["https://openalex.org/I162148367"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Jaime Middleton","raw_affiliation_strings":["Pontifica Universidad Cat\u00f3lica de Chile","Tucar SpA, Santiago, Chile"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pontifica Universidad Cat\u00f3lica de Chile","institution_ids":["https://openalex.org/I162148367"]},{"raw_affiliation_string":"Tucar SpA, Santiago, Chile","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006732213","display_name":"Rodrigo Toro Icarte","orcid":"https://orcid.org/0000-0002-7734-099X"},"institutions":[{"id":"https://openalex.org/I162148367","display_name":"Pontificia Universidad Cat\u00f3lica de Chile","ror":"https://ror.org/04teye511","country_code":"CL","type":"education","lineage":["https://openalex.org/I162148367"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Rodrigo Toro Icarte","raw_affiliation_strings":["Centro Nacional de Inteligencia Artificial CENIA, Santiago, Chile","Pontificia Universidad Cat\u00f3lica de Chile"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro Nacional de Inteligencia Artificial CENIA, Santiago, Chile","institution_ids":[]},{"raw_affiliation_string":"Pontificia Universidad Cat\u00f3lica de Chile","institution_ids":["https://openalex.org/I162148367"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030967950","display_name":"Jorge A. Baier","orcid":"https://orcid.org/0000-0002-6280-5619"},"institutions":[{"id":"https://openalex.org/I162148367","display_name":"Pontificia Universidad Cat\u00f3lica de Chile","ror":"https://ror.org/04teye511","country_code":"CL","type":"education","lineage":["https://openalex.org/I162148367"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Jorge Baier","raw_affiliation_strings":["Centro Nacional de Inteligencia Artificial CENIA, Santiago, Chile","Instituto Milenio Fundamentos de los Datos, Santiago, Chile","Pontifica Universidad Catolica de Chile"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro Nacional de Inteligencia Artificial CENIA, Santiago, Chile","institution_ids":[]},{"raw_affiliation_string":"Instituto Milenio Fundamentos de los Datos, Santiago, Chile","institution_ids":[]},{"raw_affiliation_string":"Pontifica Universidad Catolica de Chile","institution_ids":["https://openalex.org/I162148367"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I162148367"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4785","last_page":"4792"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9988999962806702,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9988999962806702,"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.9977999925613403,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/heuristics","display_name":"Heuristics","score":0.8060600757598877},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6923832297325134},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.6032063961029053},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5993880033493042},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5456394553184509},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5381956696510315},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5092121362686157},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4860575497150421},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.47186774015426636},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4436190128326416},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.4397760033607483},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42938101291656494},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4073027968406677},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39201676845550537},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18760362267494202},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.1574288308620453},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14698472619056702}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.8060600757598877},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6923832297325134},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.6032063961029053},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5993880033493042},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5456394553184509},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5381956696510315},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5092121362686157},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4860575497150421},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.47186774015426636},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4436190128326416},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4397760033607483},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42938101291656494},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4073027968406677},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39201676845550537},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18760362267494202},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.1574288308620453},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14698472619056702},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2022/663","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/663","pdf_url":"https://www.ijcai.org/proceedings/2022/0663.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2022/663","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/663","pdf_url":"https://www.ijcai.org/proceedings/2022/0663.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1278513833","display_name":null,"funder_award_id":"CENIA FB210017","funder_id":"https://openalex.org/F4320331146","funder_display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo"},{"id":"https://openalex.org/G7877382544","display_name":"NATIONAL CENTER FOR ARTIFICIAL INTELLIGENCE RESEARCH (NAIR)","funder_award_id":"FB210017","funder_id":"https://openalex.org/F4320331146","funder_display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo"}],"funders":[{"id":"https://openalex.org/F4320331146","display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4224093176.pdf","grobid_xml":"https://content.openalex.org/works/W4224093176.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W39537152","https://openalex.org/W57724912","https://openalex.org/W70402205","https://openalex.org/W101068393","https://openalex.org/W152378237","https://openalex.org/W1545688112","https://openalex.org/W1562936359","https://openalex.org/W1700264732","https://openalex.org/W1756500429","https://openalex.org/W1989914740","https://openalex.org/W2021061679","https://openalex.org/W2086251647","https://openalex.org/W2135125135","https://openalex.org/W2199261475","https://openalex.org/W2294184790","https://openalex.org/W2808386811","https://openalex.org/W2966537673","https://openalex.org/W3080293060","https://openalex.org/W3101355526","https://openalex.org/W3131897549","https://openalex.org/W3171517119","https://openalex.org/W6602833444","https://openalex.org/W6605595168","https://openalex.org/W6632776922","https://openalex.org/W6637989130"],"related_works":["https://openalex.org/W3177062893","https://openalex.org/W3125143773","https://openalex.org/W2007032764","https://openalex.org/W803550684","https://openalex.org/W2483226803","https://openalex.org/W4352977312","https://openalex.org/W1536056491","https://openalex.org/W2041180560","https://openalex.org/W2153551293","https://openalex.org/W2912520094"],"abstract_inverted_index":{"In":[0,50,198],"Real-Time":[1],"Heuristic":[2],"Search":[3],"(RTHS)":[4],"we":[5,53,149,157,173,205],"are":[6,75,126],"given":[7,24,29],"a":[8,12,20,23,28,55,117,152,175,213],"search":[9,139,185],"graph":[10,140],"G,":[11],"heuristic,":[13],"and":[14,101,141],"the":[15,44,48,68,71,111,129,134,138,142,145,190,193],"objective":[16],"is":[17],"to":[18,27,161,186],"find":[19],"path":[21],"from":[22],"start":[25],"node":[26,31],"goal":[30],"in":[32,59,77,92,110],"G.":[33],"As":[34],"such,":[35],"one":[36],"does":[37],"not":[38,106],"impose":[39],"any":[40],"trajectory":[41],"constraints":[42],"on":[43,67,168],"path,":[45],"besides":[46],"reaching":[47],"goal.":[49],"this":[51,195],"paper":[52],"consider":[54],"version":[56,153],"of":[57,70,113,131,137,154,192,215],"RTHS":[58,179],"which":[60,183],"temporally":[61],"extended":[62],"goals":[63,74,125],"can":[64],"be":[65],"defined":[66],"form":[69],"path.":[72],"Such":[73],"specified":[76],"Linear":[78],"Temporal":[79],"Logic":[80],"over":[81,133,189,202],"Finite":[82],"Traces":[83],"(LTLf),":[84],"an":[85,159],"expressive":[86],"language":[87],"that":[88],"has":[89,105],"been":[90,108],"considered":[91],"many":[93],"other":[94],"frameworks,":[95],"such":[96],"as":[97,128],"Automated":[98],"Planning,":[99],"Synthesis,":[100],"Reinforcement":[102],"Learning,":[103],"but":[104],"yet":[107],"studied":[109],"context":[112],"RTHS.":[114],"We":[115],"propose":[116,158,174],"general":[118],"automata-theoretic":[119],"approach":[120,160],"for":[121,144,164,178,212],"RTHS,":[122],"whereby":[123],"LTLf":[124,146,165,181,216],"supported":[127],"result":[130],"searching":[132],"cross":[135],"product":[136],"automaton":[143],"goal;":[147],"specifically,":[148],"describe":[150],"LTL-LRTA*,":[151],"LSS-LRTA*.":[155],"Second,":[156],"produce":[162],"heuristics":[163],"goals,":[166,182],"based":[167],"existing":[169],"goal-dependent":[170],"heuristics.":[171],"Finally,":[172],"greedy":[176],"strategy":[177],"with":[180],"focuses":[184],"make":[187],"progress":[188],"structure":[191],"automaton;":[194],"yields":[196],"LTL-LRTA*+A.":[197],"our":[199],"experimental":[200],"evaluation":[201],"standard":[203],"benchmarks":[204],"show":[206],"LTL-LRTA*+A":[207],"may":[208],"outperform":[209],"LTL-LRTA*":[210],"substantially":[211],"variety":[214],"goals.":[217]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}