{"id":"https://openalex.org/W4413017482","doi":"https://doi.org/10.1109/lra.2025.3596431","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","display_name":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","publication_year":2025,"publication_date":"2025-08-06","ids":{"openalex":"https://openalex.org/W4413017482","doi":"https://doi.org/10.1109/lra.2025.3596431"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2025.3596431","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2025.3596431","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/A5005034849","display_name":"Luca Marzari","orcid":"https://orcid.org/0000-0002-0069-0182"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luca Marzari","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy","Department of Computer Science, University of Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0069-0182","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018195885","display_name":"Francesco Trotti","orcid":"https://orcid.org/0000-0003-2446-3635"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]},{"id":"https://openalex.org/I4210119130","display_name":"Institute for Learning Innovation","ror":"https://ror.org/02krjt890","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210119130"]},{"id":"https://openalex.org/I4210138309","display_name":"Center for Innovation","ror":"https://ror.org/04c1v2b17","country_code":"US","type":"facility","lineage":["https://openalex.org/I1322918889","https://openalex.org/I2799886695","https://openalex.org/I4210089489","https://openalex.org/I4210138309"]}],"countries":["IT","US"],"is_corresponding":false,"raw_author_name":"Francesco Trotti","raw_affiliation_strings":["Department of Engineering for Innovation Medicine, University of Verona, Verona, Italy","Department of Engineering for Innovation Medicine"],"raw_orcid":"https://orcid.org/0000-0003-2446-3635","affiliations":[{"raw_affiliation_string":"Department of Engineering for Innovation Medicine, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Engineering for Innovation Medicine","institution_ids":["https://openalex.org/I4210138309","https://openalex.org/I4210119130"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058298540","display_name":"Enrico Marchesini","orcid":"https://orcid.org/0000-0003-1858-7279"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Enrico Marchesini","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA, USA","Massachusetts Institute of Technology"],"raw_orcid":"https://orcid.org/0000-0003-1858-7279","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045922629","display_name":"Alessandro Farinelli","orcid":"https://orcid.org/0000-0002-2592-5814"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Farinelli","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy","Department of Computer Science, University of Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0002-2592-5814","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5005034849"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":2.5757,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.91107022,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"10","issue":"10","first_page":"9630","last_page":"9637"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9560999870300293,"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.9560999870300293,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9311000108718872,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9199000000953674,"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/enumeration","display_name":"Enumeration","score":0.8287663459777832},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.7226877808570862},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6614989042282104},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6275585293769836},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5649269819259644},{"id":"https://openalex.org/keywords/reinforcement","display_name":"Reinforcement","score":0.5048587918281555},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4556141793727875},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35164064168930054},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18566644191741943},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.16041609644889832},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.10551205277442932},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.05574634671211243},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.04979276657104492},{"id":"https://openalex.org/keywords/cell-biology","display_name":"Cell biology","score":0.0446622371673584}],"concepts":[{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.8287663459777832},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.7226877808570862},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6614989042282104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6275585293769836},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5649269819259644},{"id":"https://openalex.org/C67203356","wikidata":"https://www.wikidata.org/wiki/Q1321905","display_name":"Reinforcement","level":2,"score":0.5048587918281555},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4556141793727875},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35164064168930054},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18566644191741943},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.16041609644889832},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.10551205277442932},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.05574634671211243},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.04979276657104492},{"id":"https://openalex.org/C95444343","wikidata":"https://www.wikidata.org/wiki/Q7141","display_name":"Cell biology","level":1,"score":0.0446622371673584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2025.3596431","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2025.3596431","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":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1600079720","https://openalex.org/W2151136609","https://openalex.org/W2339665769","https://openalex.org/W2560504659","https://openalex.org/W2563378438","https://openalex.org/W2791580684","https://openalex.org/W2951360122","https://openalex.org/W3037377642","https://openalex.org/W4205950066","https://openalex.org/W4285600796","https://openalex.org/W4383108795","https://openalex.org/W4385444325","https://openalex.org/W4386952386","https://openalex.org/W4393146543","https://openalex.org/W4400946817","https://openalex.org/W4402263911","https://openalex.org/W4405784980","https://openalex.org/W4405785932","https://openalex.org/W6637162671","https://openalex.org/W6747473740","https://openalex.org/W6766152126","https://openalex.org/W6780587392","https://openalex.org/W6847069214","https://openalex.org/W6849046288","https://openalex.org/W6849907714","https://openalex.org/W6853523444","https://openalex.org/W6858013149","https://openalex.org/W6869610620","https://openalex.org/W6874867964"],"related_works":["https://openalex.org/W108845024","https://openalex.org/W2406961474","https://openalex.org/W4300125793","https://openalex.org/W2578985712","https://openalex.org/W2952598754","https://openalex.org/W3042106073","https://openalex.org/W2143566611","https://openalex.org/W4251460363","https://openalex.org/W588267724","https://openalex.org/W2057205169"],"abstract_inverted_index":{"Achieving":[0],"safe":[1,42,66,130],"autonomous":[2],"navigation":[3,45,116,133],"systems":[4,127],"is":[5],"critical":[6],"for":[7],"deploying":[8],"robots":[9],"in":[10,79,135],"dynamic":[11,95],"and":[12,36,81,92,131],"uncertain":[13],"real-world":[14],"environments.":[15],"In":[16],"this":[17],"paper,":[18],"we":[19],"propose":[20],"a":[21,65,83,87,93],"hierarchical":[22,125],"control":[23,32,68],"framework":[24,77],"leveraging":[25],"neural":[26],"network":[27],"verification":[28],"techniques":[29],"to":[30,53,63,71,109,128],"design":[31],"barrier":[33],"functions":[34],"(CBFs)":[35],"policy":[37],"correction":[38],"mechanisms":[39],"that":[40],"ensure":[41],"reinforcement":[43],"learning":[44],"policies.":[46,73],"Our":[47,118],"approach":[48],"relies":[49],"on":[50,82],"probabilistic":[51],"enumeration":[52],"identify":[54],"unsafe":[55,111],"regions":[56],"of":[57,105,123],"operation,":[58],"which":[59],"are":[60],"then":[61],"used":[62],"construct":[64],"CBF-based":[67],"layer":[69],"applicable":[70],"arbitrary":[72],"We":[74],"validate":[75],"our":[76],"both":[78],"simulation":[80],"real":[84],"robot,":[85],"using":[86],"standard":[88],"mobile":[89],"robot":[90],"benchmark":[91],"highly":[94],"aquatic":[96],"environmental":[97],"monitoring":[98],"task.":[99],"These":[100],"experiments":[101],"demonstrate":[102],"the":[103,106,121],"ability":[104],"proposed":[107],"solution":[108],"correct":[110],"actions":[112],"while":[113],"preserving":[114],"efficient":[115],"behavior.":[117],"results":[119],"show":[120],"promise":[122],"developing":[124],"verification-based":[126],"enable":[129],"robust":[132],"behaviors":[134],"complex":[136],"scenarios.":[137]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}