{"id":"https://openalex.org/W4409640588","doi":"https://doi.org/10.1109/lra.2025.3563119","title":"Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications","display_name":"Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications","publication_year":2025,"publication_date":"2025-04-21","ids":{"openalex":"https://openalex.org/W4409640588","doi":"https://doi.org/10.1109/lra.2025.3563119"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2025.3563119","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2025.3563119","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","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/A5004491348","display_name":"Ali Tevfik B\u00fcy\u00fckko\u00e7ak","orcid":"https://orcid.org/0000-0002-2332-2761"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali Tevfik Buyukkocak","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northeastern University, Boston, MA, USA"],"raw_orcid":"https://orcid.org/0000-0002-2332-2761","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northeastern University, Boston, MA, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053550436","display_name":"Derya Aksaray","orcid":"https://orcid.org/0000-0003-4236-9116"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Derya Aksaray","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northeastern University, Boston, MA, USA"],"raw_orcid":"https://orcid.org/0000-0003-4236-9116","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northeastern University, Boston, MA, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5175,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92253214,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"10","issue":"6","first_page":"5935","last_page":"5942"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9952999949455261,"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.9952999949455261,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9932000041007996,"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/mobile-robot","display_name":"Mobile robot","score":0.6022014021873474},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.585979700088501},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.5533662438392639},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.541084885597229},{"id":"https://openalex.org/keywords/relaxation","display_name":"Relaxation (psychology)","score":0.5191596746444702},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4676240086555481},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3757916986942291},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31992512941360474},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24309822916984558},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.14567312598228455},{"id":"https://openalex.org/keywords/neuroscience","display_name":"Neuroscience","score":0.14434659481048584}],"concepts":[{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.6022014021873474},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.585979700088501},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.5533662438392639},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.541084885597229},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.5191596746444702},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4676240086555481},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3757916986942291},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31992512941360474},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24309822916984558},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.14567312598228455},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.14434659481048584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2025.3563119","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2025.3563119","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W2092884371","https://openalex.org/W2256658272","https://openalex.org/W2536620281","https://openalex.org/W2560504659","https://openalex.org/W2621540998","https://openalex.org/W2841721725","https://openalex.org/W2963199590","https://openalex.org/W2963657380","https://openalex.org/W2967828032","https://openalex.org/W2972486407","https://openalex.org/W3010924044","https://openalex.org/W3127898694","https://openalex.org/W3135736565","https://openalex.org/W3153191410","https://openalex.org/W3207251292","https://openalex.org/W4210750948","https://openalex.org/W4229029576","https://openalex.org/W4292070345","https://openalex.org/W4295046640","https://openalex.org/W4304547391","https://openalex.org/W4315488730","https://openalex.org/W4385413358","https://openalex.org/W4392646696","https://openalex.org/W6732482710"],"related_works":["https://openalex.org/W8302103","https://openalex.org/W3171631314","https://openalex.org/W2674584172","https://openalex.org/W2967743314","https://openalex.org/W2606825221","https://openalex.org/W2184085865","https://openalex.org/W2064245428","https://openalex.org/W2170721890","https://openalex.org/W2122871747","https://openalex.org/W3114279067"],"abstract_inverted_index":{"We":[0,112],"address":[1,38],"the":[2,26,32,53,63,84,102,105],"problem":[3],"of":[4,28,52,104],"resilient":[5],"motion":[6],"planning":[7],"for":[8],"robots":[9],"operating":[10],"under":[11],"Signal":[12],"Temporal":[13],"Logic":[14],"(STL)":[15],"specifications":[16],"in":[17,56,96],"dynamic":[18,29],"environments.":[19],"In":[20],"such":[21],"settings,":[22],"unforeseen":[23],"events-such":[24],"as":[25],"emergence":[27],"obstacles-can":[30],"render":[31],"original":[33,64],"STL":[34,65],"specification":[35,66],"infeasible.":[36],"To":[37],"this,":[39],"we":[40],"propose":[41],"a":[42],"reactive":[43],"framework":[44,70,118],"that":[45],"enables":[46],"local":[47],"corrections":[48],"or":[49,79],"global":[50],"replanning":[51],"robot's":[54],"trajectory":[55],"response":[57],"to":[58,91,100],"these":[59],"unexpected":[60],"occurrences.":[61],"When":[62],"becomes":[67],"unsatisfiable,":[68],"our":[69,117],"involves":[71],"minimally":[72],"relaxing":[73],"it":[74],"by":[75],"extending/shrinking":[76],"time":[77],"windows":[78],"removing":[80],"some":[81],"tasks":[82],"within":[83],"user's":[85],"allowance.":[86],"This":[87],"strategy":[88],"is":[89],"designed":[90],"prevent":[92],"arbitrarily":[93],"long":[94],"delays":[95],"mission":[97,106],"completion":[98],"and":[99,119],"facilitate":[101],"satisfaction":[103],"with":[107],"minimal":[108],"temporal":[109],"relaxation":[110],"(TR).":[111],"present":[113],"theoretical":[114],"results":[115],"supporting":[116],"demonstrate":[120],"its":[121],"effectiveness":[122],"through":[123],"high-fidelity":[124],"simulations.":[125]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}