{"id":"https://openalex.org/W7139101189","doi":"https://doi.org/10.48550/arxiv.2603.17152","title":"Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints","display_name":"Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints","publication_year":2026,"publication_date":"2026-03-17","ids":{"openalex":"https://openalex.org/W7139101189","doi":"https://doi.org/10.48550/arxiv.2603.17152"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.17152","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.17152","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.2603.17152","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Y\u00fcksel, Sad\u0131k Bera","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Y\u00fcksel, Sad\u0131k Bera","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004491348","display_name":"Ali Tevfik B\u00fcy\u00fckko\u00e7ak","orcid":"https://orcid.org/0000-0002-2332-2761"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Buyukkocak, Ali Tevfik","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":3,"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.660099983215332,"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.660099983215332,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.16580000519752502,"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.02019999921321869,"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/reinforcement-learning","display_name":"Reinforcement learning","score":0.7598000168800354},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6589000225067139},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.49410000443458557},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.46219998598098755},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.42750000953674316},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.36469998955726624}],"concepts":[{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.7598000168800354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7128999829292297},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6589000225067139},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5950000286102295},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.49410000443458557},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.46219998598098755},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.42750000953674316},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.36469998955726624},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3361999988555908},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.33379998803138733},{"id":"https://openalex.org/C196340769","wikidata":"https://www.wikidata.org/wiki/Q7698910","display_name":"Temporal difference learning","level":3,"score":0.28760001063346863},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2840000092983246},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2572000026702881}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.17152","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.17152","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.2603.17152","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.17152","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.599955677986145,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reinforcement":[0],"Learning":[1],"(RL)":[2],"has":[3,29],"shown":[4],"promise":[5],"in":[6,33],"various":[7,161],"robotics":[8],"applications,":[9],"yet":[10],"its":[11],"deployment":[12],"on":[13,38],"real":[14,47],"systems":[15,48],"is":[16,81],"still":[17,73],"limited":[18],"due":[19],"to":[20,64,96,117,146],"safety":[21,40,135],"and":[22,92,114],"operational":[23],"constraints.":[24],"The":[25],"safe":[26],"RL":[27,116],"field":[28],"gained":[30],"considerable":[31],"attention":[32],"recent":[34],"years,":[35],"which":[36,142],"focuses":[37],"imposing":[39],"constraints":[41,53,136],"throughout":[42,126],"the":[43,120,127,155],"learning":[44,72,128],"process.":[45,129],"However,":[46],"often":[49],"require":[50],"more":[51],"complex":[52,99],"than":[54],"just":[55],"safety,":[56],"such":[57,68,98],"as":[58],"periodic":[59],"recharging":[60],"or":[61],"time-bounded":[62],"visits":[63,145],"specific":[65],"regions.":[66],"Imposing":[67],"spatio-temporal":[69],"tasks":[70,123],"during":[71],"remains":[74],"a":[75,82,94,106],"challenge.":[76],"Signal":[77],"Temporal":[78],"Logic":[79],"(STL)":[80],"formal":[83],"language":[84],"for":[85],"specifying":[86],"temporal":[87],"properties":[88],"of":[89,157],"real-valued":[90],"signals":[91],"provides":[93],"way":[95],"express":[97],"tasks.":[100],"In":[101],"this":[102],"paper,":[103],"we":[104],"propose":[105],"framework":[107,159],"that":[108,119],"leverages":[109],"sequential":[110],"control":[111],"barrier":[112],"functions":[113],"model-free":[115],"ensure":[118],"given":[121],"STL":[122,140],"are":[124],"satisfied":[125],"Our":[130],"method":[131],"extends":[132],"beyond":[133],"traditional":[134],"by":[137],"enforcing":[138],"rich":[139],"specifications,":[141],"can":[143],"involve":[144],"dynamic":[147],"targets":[148],"with":[149],"unknown":[150],"trajectories.":[151],"We":[152],"also":[153],"demonstrate":[154],"effectiveness":[156],"our":[158],"through":[160],"simulations.":[162]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-03-20T00:00:00"}