{"id":"https://openalex.org/W7141382681","doi":"https://doi.org/10.48550/arxiv.2603.24990","title":"From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning","display_name":"From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning","publication_year":2026,"publication_date":"2026-03-26","ids":{"openalex":"https://openalex.org/W7141382681","doi":"https://doi.org/10.48550/arxiv.2603.24990"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.24990","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.24990","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.24990","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057252936","display_name":"Ebonye Smith","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Smith, Ebonye","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079192924","display_name":"Sampada Deglurkar","orcid":"https://orcid.org/0000-0003-3385-8305"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Deglurkar, Sampada","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130749187","display_name":"Jingqi Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Jingqi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130757733","display_name":"Gechen Qu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qu, Gechen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5130730782","display_name":"Claire J. Tomlin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tomlin, Claire J.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.5063999891281128,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.5063999891281128,"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.26489999890327454,"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.0430000014603138,"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/reachability","display_name":"Reachability","score":0.855400025844574},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.756600022315979},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4740000069141388},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.41130000352859497},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.40720000863075256},{"id":"https://openalex.org/keywords/set-operations","display_name":"Set operations","score":0.3564999997615814},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.3434000015258789},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.34150001406669617}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.855400025844574},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.756600022315979},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7178999781608582},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4740000069141388},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4586000144481659},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.41130000352859497},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.40720000863075256},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.3564999997615814},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3434000015258789},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3312000036239624},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.328000009059906},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3070000112056732},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.3025999963283539},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.29840001463890076},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.26930001378059387},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26179999113082886},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.2517000138759613},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.24990","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.24990","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.24990","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.24990","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4521174132823944}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Hamilton-Jacobi":[0],"(HJ)":[1],"reachability":[2,42,135],"provides":[3],"formal":[4],"safety":[5,117,151,167],"guarantees":[6,118],"for":[7,41,119],"nonlinear":[8],"systems.":[9],"However,":[10],"it":[11],"becomes":[12],"computationally":[13],"intractable":[14],"in":[15,147,155],"high-dimensional":[16],"settings,":[17],"motivating":[18],"learning-based":[19],"approximations":[20],"that":[21,44,77],"may":[22],"introduce":[23,71],"unsafe":[24],"errors":[25],"or":[26],"overly":[27],"optimistic":[28],"safe":[29,58,81],"sets.":[30,126],"In":[31],"this":[32],"work,":[33],"we":[34],"propose":[35],"a":[36,56,88,129,133,138,163],"hierarchical":[37],"probabilistic":[38,67,116],"verification":[39],"framework":[40,143],"learning":[43],"bridges":[45],"offline":[46],"global":[47,66,98,122],"certification":[48],"and":[49,123,137],"online":[50,73],"local":[51,74],"refinement.":[52],"We":[53,69,114],"first":[54],"construct":[55],"coarse":[57],"set":[59,82],"using":[60],"scenario":[61],"optimization,":[62],"providing":[63],"an":[64,72],"efficient":[65],"certificate.":[68],"then":[70],"refinement":[75,101],"module":[76],"expands":[78],"the":[79,97,111,121,141],"certified":[80],"near":[83],"its":[84],"boundary":[85],"by":[86,96],"solving":[87],"sequence":[89],"of":[90,110,158],"convex":[91],"programs,":[92],"recovering":[93],"regions":[94,109],"excluded":[95],"verification.":[99],"This":[100],"reduces":[102],"conservatism":[103],"while":[104],"focusing":[105],"computation":[106],"on":[107],"critical":[108],"state":[112],"space.":[113],"provide":[115],"both":[120],"locally":[124],"refined":[125],"Integrated":[127],"with":[128,150,165],"switching":[130],"mechanism":[131],"between":[132],"learned":[134],"policy":[136],"model-based":[139],"controller,":[140],"proposed":[142],"improves":[144],"success":[145],"rates":[146],"goal-reaching":[148],"tasks":[149],"constraints,":[152],"as":[153],"demonstrated":[154],"simulation":[156],"experiments":[157],"two":[159],"drones":[160],"racing":[161],"to":[162],"goal":[164],"complex":[166],"constraints.":[168]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-03-28T00:00:00"}