{"id":"https://openalex.org/W4383097441","doi":"https://doi.org/10.1109/icra48891.2023.10160732","title":"ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds","display_name":"ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds","publication_year":2023,"publication_date":"2023-05-29","ids":{"openalex":"https://openalex.org/W4383097441","doi":"https://doi.org/10.1109/icra48891.2023.10160732"},"language":"en","primary_location":{"id":"doi:10.1109/icra48891.2023.10160732","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48891.2023.10160732","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-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/A5010179153","display_name":"Taha Entesari","orcid":null},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Taha Entesari","raw_affiliation_strings":["Johns Hopkins University,Department of Electrical and Computer Engineering","Department of Electrical and Computer Engineering, Johns Hopkins University"],"affiliations":[{"raw_affiliation_string":"Johns Hopkins University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Johns Hopkins University","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004723792","display_name":"Sina Sharifi","orcid":"https://orcid.org/0000-0003-2681-2907"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sina Sharifi","raw_affiliation_strings":["Johns Hopkins University,Department of Electrical and Computer Engineering","Department of Electrical and Computer Engineering, Johns Hopkins University"],"affiliations":[{"raw_affiliation_string":"Johns Hopkins University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Johns Hopkins University","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043154223","display_name":"Mahyar Fazlyab","orcid":"https://orcid.org/0000-0001-9695-6178"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahyar Fazlyab","raw_affiliation_strings":["Johns Hopkins University,Department of Electrical and Computer Engineering","Department of Electrical and Computer Engineering, Johns Hopkins University"],"affiliations":[{"raw_affiliation_string":"Johns Hopkins University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Johns Hopkins University","institution_ids":["https://openalex.org/I145311948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010179153"],"corresponding_institution_ids":["https://openalex.org/I145311948"],"apc_list":null,"apc_paid":null,"fwci":1.049,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80881746,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1003","last_page":"1010"},"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.9998999834060669,"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.9998999834060669,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9815000295639038,"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/T11307","display_name":"Domain Adaptation and Few-Shot Learning","score":0.9758999943733215,"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.8687713146209717},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.7324638366699219},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6287932395935059},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.5443089604377747},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5319219827651978},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.4489091634750366},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.393105149269104},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37287065386772156},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.339960515499115},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15913543105125427},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.084084153175354}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8687713146209717},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.7324638366699219},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6287932395935059},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.5443089604377747},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5319219827651978},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.4489091634750366},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.393105149269104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37287065386772156},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.339960515499115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15913543105125427},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.084084153175354}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra48891.2023.10160732","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48891.2023.10160732","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W174240283","https://openalex.org/W1789809724","https://openalex.org/W2095705004","https://openalex.org/W2145201569","https://openalex.org/W2529731305","https://openalex.org/W2594877703","https://openalex.org/W2788931035","https://openalex.org/W2791251367","https://openalex.org/W2798356176","https://openalex.org/W2887532679","https://openalex.org/W2899116309","https://openalex.org/W2916774113","https://openalex.org/W2938701611","https://openalex.org/W2950183737","https://openalex.org/W2962787891","https://openalex.org/W2964130946","https://openalex.org/W2967969632","https://openalex.org/W2980176926","https://openalex.org/W2982312374","https://openalex.org/W3024917158","https://openalex.org/W3106795520","https://openalex.org/W3111646504","https://openalex.org/W3113374047","https://openalex.org/W3114066475","https://openalex.org/W3120220828","https://openalex.org/W3120409696","https://openalex.org/W3132471544","https://openalex.org/W3156870375","https://openalex.org/W3175924829","https://openalex.org/W3190898705","https://openalex.org/W3205312597","https://openalex.org/W3205832376","https://openalex.org/W3208705304","https://openalex.org/W3212827451","https://openalex.org/W4225369887","https://openalex.org/W4287212981","https://openalex.org/W4287865048","https://openalex.org/W4294555834","https://openalex.org/W4301187031","https://openalex.org/W4313679833","https://openalex.org/W4315488706","https://openalex.org/W4317466250","https://openalex.org/W6674330103","https://openalex.org/W6685140790","https://openalex.org/W6728050389","https://openalex.org/W6738483526","https://openalex.org/W6751044371","https://openalex.org/W6751161574","https://openalex.org/W6751834733","https://openalex.org/W6755932053","https://openalex.org/W6763711611","https://openalex.org/W6773845772","https://openalex.org/W6785965639","https://openalex.org/W6787189432","https://openalex.org/W6800464454","https://openalex.org/W6804343242","https://openalex.org/W6811229144"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W4321471459","https://openalex.org/W2889071233","https://openalex.org/W2380814829","https://openalex.org/W2387511021"],"abstract_inverted_index":{"We":[0,44,86,132],"propose":[1],"a":[2,41,74],"novel":[3],"Branch-and-Bound":[4],"method":[5,90,139],"for":[6],"reachability":[7,92],"analysis":[8,93],"of":[9,30,37,57,94,106,122,136],"neural":[10,32,98],"networks":[11],"in":[12,34,140],"both":[13],"open-loop":[14,142],"and":[15,143],"closed-loop":[16,144],"settings.":[17,145],"Our":[18],"idea":[19],"is":[20],"to":[21,49,77,91,102,118],"first":[22],"compute":[23],"accurate":[24],"bounds":[25,48],"on":[26],"the":[27,31,58,79,104,107,120,123,134,137],"Lipschitz":[28,62],"constant":[29],"network":[33,99],"certain":[35],"directions":[36,121],"interest":[38],"offline":[39],"using":[40,61,127],"convex":[42],"program.":[43],"then":[45,87],"use":[46,115],"these":[47],"obtain":[50],"an":[51,83],"instantaneous":[52],"but":[53],"conservative":[54],"polyhedral":[55],"approximation":[56],"reachable":[59,108,124],"set":[60,125],"continuity":[63],"arguments.":[64],"To":[65],"reduce":[66],"conservatism,":[67],"we":[68,114],"incorporate":[69],"our":[70,89],"bounding":[71],"algorithm":[72],"within":[73,82],"branching":[75],"strategy":[76],"decrease":[78],"over-approximation":[80],"error":[81],"arbitrary":[84],"accuracy.":[85],"extend":[88],"control":[95],"systems":[96],"with":[97],"controllers.":[100],"Finally,":[101],"capture":[103],"shape":[105],"sets":[109],"as":[110,112],"accurately":[111],"possible,":[113],"sample":[116],"trajectories":[117],"inform":[119],"over-approximations":[126],"Principal":[128],"Com-ponent":[129],"Analysis":[130],"(PCA).":[131],"evaluate":[133],"performance":[135],"proposed":[138],"several":[141]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}