{"id":"https://openalex.org/W4406856876","doi":"https://doi.org/10.1109/lra.2025.3535183","title":"Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function","display_name":"Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function","publication_year":2025,"publication_date":"2025-01-27","ids":{"openalex":"https://openalex.org/W4406856876","doi":"https://doi.org/10.1109/lra.2025.3535183"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2025.3535183","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2025.3535183","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766","2377-3774"],"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/A5069436085","display_name":"Jingqi Li","orcid":"https://orcid.org/0000-0002-3731-3807"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jingqi Li","raw_affiliation_strings":["University of California, Berkeley, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-3731-3807","affiliations":[{"raw_affiliation_string":"University of California, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075094704","display_name":"Donggun Lee","orcid":"https://orcid.org/0000-0003-4073-1353"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Donggun Lee","raw_affiliation_strings":["North Carolina State University, NC, USA"],"raw_orcid":"https://orcid.org/0000-0003-4073-1353","affiliations":[{"raw_affiliation_string":"North Carolina State University, NC, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100329187","display_name":"Jaewon Lee","orcid":"https://orcid.org/0000-0001-5681-217X"},"institutions":[{"id":"https://openalex.org/I157066012","display_name":"Gleason (United States)","ror":"https://ror.org/03bw04561","country_code":"US","type":"company","lineage":["https://openalex.org/I157066012"]},{"id":"https://openalex.org/I76587968","display_name":"Bose (United States)","ror":"https://ror.org/0427k1a73","country_code":"US","type":"company","lineage":["https://openalex.org/I76587968"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jaewon Lee","raw_affiliation_strings":["Boson AI, Santa Clara, CA, USA","Boson AI, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boson AI, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I76587968"]},{"raw_affiliation_string":"Boson AI, CA, USA","institution_ids":["https://openalex.org/I157066012"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111325452","display_name":"Kris Shengjun Dong","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kris Shengjun Dong","raw_affiliation_strings":["University of California, Berkeley, CA, USA"],"raw_orcid":"https://orcid.org/0009-0009-6973-5631","affiliations":[{"raw_affiliation_string":"University of California, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072786751","display_name":"Somayeh Sojoudi","orcid":"https://orcid.org/0000-0001-7177-7712"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Somayeh Sojoudi","raw_affiliation_strings":["University of California, Berkeley, CA, USA"],"raw_orcid":"https://orcid.org/0000-0001-7177-7712","affiliations":[{"raw_affiliation_string":"University of California, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045155646","display_name":"Claire J. Tomlin","orcid":"https://orcid.org/0000-0003-3192-3185"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Claire Tomlin","raw_affiliation_strings":["University of California, Berkeley, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-3192-3185","affiliations":[{"raw_affiliation_string":"University of California, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01327236,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"4","first_page":"3582","last_page":"3589"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10050","display_name":"Multi-Criteria Decision Making","score":0.9063000082969666,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10050","display_name":"Multi-Criteria Decision Making","score":0.9063000082969666,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8339439630508423},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.7081212997436523},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5091027617454529},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49542129039764404},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.46617841720581055},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3631041944026947},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3399564325809479},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.2418733835220337},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2147110402584076},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.20874637365341187},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.05302819609642029}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8339439630508423},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.7081212997436523},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5091027617454529},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49542129039764404},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.46617841720581055},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3631041944026947},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3399564325809479},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.2418733835220337},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2147110402584076},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.20874637365341187},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.05302819609642029},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2025.3535183","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2025.3535183","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766","2377-3774"],"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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1533617471","https://openalex.org/W1607353007","https://openalex.org/W1975236902","https://openalex.org/W2106816694","https://openalex.org/W2130519480","https://openalex.org/W2560504659","https://openalex.org/W2758653969","https://openalex.org/W2904455790","https://openalex.org/W2964040381","https://openalex.org/W2968547875","https://openalex.org/W2972864268","https://openalex.org/W3113374047","https://openalex.org/W3120409696","https://openalex.org/W3120640427","https://openalex.org/W3129028151","https://openalex.org/W3173331501","https://openalex.org/W3176452384","https://openalex.org/W3184462326","https://openalex.org/W3205312597","https://openalex.org/W3206190169","https://openalex.org/W4307572631","https://openalex.org/W4352977012","https://openalex.org/W4379382608","https://openalex.org/W4380839231","https://openalex.org/W4383066412","https://openalex.org/W4391741307","https://openalex.org/W4391961154","https://openalex.org/W6737893269","https://openalex.org/W6758924645","https://openalex.org/W6772100842","https://openalex.org/W6782080126","https://openalex.org/W6788898170","https://openalex.org/W6839171888","https://openalex.org/W6847198735","https://openalex.org/W6858709523","https://openalex.org/W6860244794","https://openalex.org/W6863441661","https://openalex.org/W6873642468"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W4321471459","https://openalex.org/W2889071233","https://openalex.org/W2380814829","https://openalex.org/W2387511021"],"abstract_inverted_index":{"We":[0,113],"propose":[1],"a":[2,29,46,72,118,126],"new":[3,60],"reachability":[4],"learning":[5,44,80],"framework":[6,38,116],"for":[7,104,110],"high-dimensional":[8],"nonlinear":[9],"systems,":[10],"focusing":[11],"onreach-avoid":[12],"problems.":[13],"These":[14],"problems":[15],"require":[16],"computing":[17],"thereach-avoid":[18],"set,":[19,90],"which":[20,77],"ensures":[21],"that":[22],"all":[23],"its":[24,67],"elements":[25],"can":[26,100],"safely":[27],"reach":[28],"target":[30],"set":[31],"despite":[32],"disturbances":[33],"within":[34],"pre-specified":[35],"bounds.":[36],"Our":[37],"has":[39],"two":[40,93],"main":[41],"parts:":[42],"offline":[43,109],"of":[45,76,86],"newly":[47],"designed":[48],"reach-avoid":[49,89],"value":[50,61],"function,":[51],"and":[52,66,125],"post-learning":[53,95],"certification.":[54,112],"Compared":[55],"to":[56],"prior":[57],"work,":[58],"our":[59,87,115],"function":[62],"is":[63,71],"Lipschitz":[64],"continuous":[65],"associated":[68],"Bellman":[69],"operator":[70],"contraction":[73],"mapping,":[74],"both":[75],"improve":[78],"the":[79],"performance.":[81],"To":[82],"ensure":[83],"deterministic":[84],"guarantees":[85],"learned":[88],"we":[91],"introduce":[92],"efficient":[94],"certification":[96,107],"methods.":[97],"Both":[98],"methods":[99],"be":[101],"used":[102],"online":[103],"real-time":[105],"local":[106],"or":[108],"comprehensive":[111],"validate":[114],"in":[117],"12-dimensional":[119],"crazyflie":[120],"drone":[121],"racing":[122],"hardware":[123],"experiment":[124],"simulated":[127],"10-dimensional":[128],"highway":[129],"take-over":[130],"example.":[131]},"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}