{"id":"https://openalex.org/W7131400425","doi":"https://doi.org/10.48550/arxiv.2602.18951","title":"Temporal-Logic-Aware Frontier-Based Exploration","display_name":"Temporal-Logic-Aware Frontier-Based Exploration","publication_year":2026,"publication_date":"2026-02-21","ids":{"openalex":"https://openalex.org/W7131400425","doi":"https://doi.org/10.48550/arxiv.2602.18951"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2602.18951","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.18951","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2602.18951","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103563398","display_name":"Azizollah Taheri","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Taheri, Azizollah","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5053550436","display_name":"Derya Aksaray","orcid":"https://orcid.org/0000-0003-4236-9116"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aksaray, Derya","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5734999775886536,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5734999775886536,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.17499999701976776,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.08420000225305557,"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/commit","display_name":"Commit","score":0.8988999724388123},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6963000297546387},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6313999891281128},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5029000043869019},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4778999984264374},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.37119999527931213},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.36500000953674316}],"concepts":[{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.8988999724388123},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6963000297546387},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.637499988079071},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6313999891281128},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5156999826431274},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5029000043869019},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4778999984264374},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.36500000953674316},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.2777000069618225},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27300000190734863},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.2700999975204468},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25920000672340393},{"id":"https://openalex.org/C2778835581","wikidata":"https://www.wikidata.org/wiki/Q2916098","display_name":"Autonomous robot","level":4,"score":0.2581999897956848},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.25270000100135803},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2602.18951","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.18951","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2602.18951","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.18951","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.4719404876232147,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,24,37,41,93,112,118,131],"problem":[4],"of":[5,40,54,125,130],"temporal":[6],"logic":[7],"motion":[8],"planning":[9],"for":[10],"an":[11,16],"autonomous":[12],"robot":[13,25,113],"operating":[14],"in":[15],"unknown":[17],"environment.":[18],"The":[19,128],"objective":[20],"is":[21,134],"to":[22,26,58,81,92,114],"enable":[23],"satisfy":[27],"a":[28,47,51,102],"syntactically":[29],"co-safe":[30],"Linear":[31],"Temporal":[32],"Logic":[33],"(scLTL)":[34],"specification":[35],"when":[36],"exact":[38],"locations":[39],"desired":[42],"labels":[43],"are":[44,73],"not":[45,84],"known":[46],"priori.":[48],"We":[49],"introduce":[50],"new":[52],"type":[53],"automaton":[55],"state,":[56],"referred":[57],"as":[59],"commit":[60,94,98],"states.":[61,95],"These":[62],"states":[63],"capture":[64],"intermediate":[65],"task":[66,119],"progress":[67,116],"resulting":[68],"from":[69],"actions":[70,89],"whose":[71],"consequences":[72],"irreversible.":[74],"In":[75],"other":[76],"words,":[77],"certain":[78],"future":[79],"paths":[80],"satisfaction":[82],"become":[83],"feasible":[85],"after":[86],"taking":[87],"those":[88],"that":[90,109],"lead":[91],"By":[96],"leveraging":[97],"states,":[99],"we":[100],"propose":[101],"sound":[103],"and":[104],"complete":[105],"frontier-based":[106],"exploration":[107],"algorithm":[108],"strategically":[110],"guides":[111],"make":[115],"toward":[117],"while":[120],"preserving":[121],"all":[122],"possible":[123],"ways":[124],"satisfying":[126],"it.":[127],"efficacy":[129],"proposed":[132],"method":[133],"validated":[135],"through":[136],"simulations.":[137]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-02-26T00:00:00"}