{"id":"https://openalex.org/W4402263605","doi":"https://doi.org/10.23919/acc60939.2024.10645043","title":"Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees","display_name":"Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees","publication_year":2024,"publication_date":"2024-07-10","ids":{"openalex":"https://openalex.org/W4402263605","doi":"https://doi.org/10.23919/acc60939.2024.10645043"},"language":"en","primary_location":{"id":"doi:10.23919/acc60939.2024.10645043","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc60939.2024.10645043","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 American Control Conference (ACC)","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/A5011696469","display_name":"Shaoru Chen","orcid":"https://orcid.org/0000-0001-9416-0627"},"institutions":[{"id":"https://openalex.org/I4401726785","display_name":"Microsoft Research New York City (United States)","ror":"https://ror.org/056zprp28","country_code":null,"type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4401726785"]},{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Shaoru Chen","raw_affiliation_strings":["Microsoft Research,New York,NY,USA,10012"],"affiliations":[{"raw_affiliation_string":"Microsoft Research,New York,NY,USA,10012","institution_ids":["https://openalex.org/I1290206253","https://openalex.org/I4401726785"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014046835","display_name":"Lekan Molu","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]},{"id":"https://openalex.org/I4401726785","display_name":"Microsoft Research New York City (United States)","ror":"https://ror.org/056zprp28","country_code":null,"type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4401726785"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lekan Molu","raw_affiliation_strings":["Microsoft Research,New York,NY,USA,10012"],"affiliations":[{"raw_affiliation_string":"Microsoft Research,New York,NY,USA,10012","institution_ids":["https://openalex.org/I1290206253","https://openalex.org/I4401726785"]}]},{"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":["Mathematical Institute for Data Science, Johns Hopkins University,USA"],"affiliations":[{"raw_affiliation_string":"Mathematical Institute for Data Science, Johns Hopkins University,USA","institution_ids":["https://openalex.org/I145311948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5011696469"],"corresponding_institution_ids":["https://openalex.org/I1290206253","https://openalex.org/I4401726785"],"apc_list":null,"apc_paid":null,"fwci":1.6778,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86583925,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"3610","last_page":"3617"},"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.9990000128746033,"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.9990000128746033,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9854999780654907,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.755748450756073},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6431148052215576},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37876737117767334}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.755748450756073},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6431148052215576},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37876737117767334}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc60939.2024.10645043","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc60939.2024.10645043","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1607353007","https://openalex.org/W2033118636","https://openalex.org/W2070426678","https://openalex.org/W2081807695","https://openalex.org/W2129729773","https://openalex.org/W2149236697","https://openalex.org/W2796726869","https://openalex.org/W2809309384","https://openalex.org/W2891698621","https://openalex.org/W2970795963","https://openalex.org/W3037593164","https://openalex.org/W3048000637","https://openalex.org/W3094179137","https://openalex.org/W3100014918","https://openalex.org/W3119862069","https://openalex.org/W3121024268","https://openalex.org/W3148337675","https://openalex.org/W3158895321","https://openalex.org/W3158923205","https://openalex.org/W3175924829","https://openalex.org/W3212827451","https://openalex.org/W4205950066","https://openalex.org/W4210390142","https://openalex.org/W4225401163","https://openalex.org/W4250589301","https://openalex.org/W4291238833","https://openalex.org/W4315489198","https://openalex.org/W4315606134","https://openalex.org/W4352977012","https://openalex.org/W4383097441","https://openalex.org/W4402263605","https://openalex.org/W6751834733","https://openalex.org/W6754543342","https://openalex.org/W6767277667","https://openalex.org/W6779657896","https://openalex.org/W6781692108","https://openalex.org/W6784459621","https://openalex.org/W6785978685","https://openalex.org/W6788898170","https://openalex.org/W6804343242","https://openalex.org/W6841816966","https://openalex.org/W6847069214","https://openalex.org/W6851617064"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Barrier":[0],"functions":[1,37],"are":[2,42],"a":[3,8,12,46,51,77,83,94,102,125,140,163],"general":[4,18],"framework":[5,67,183],"for":[6,11,20],"establishing":[7],"safety":[9],"guarantee":[10],"system.":[13],"However,":[14],"there":[15,149],"is":[16,157],"no":[17],"method":[19,173],"finding":[21,82],"these":[22,36,99],"functions.":[23],"To":[24],"address":[25,98],"this":[26,90],"shortcoming,":[27],"recent":[28],"approaches":[29],"use":[30],"self-supervised":[31],"learning":[32,53,66,182],"techniques":[33],"to":[34,50,97,112,138,159],"learn":[35,114],"using":[38,190],"training":[39],"data":[40],"that":[41,128,170],"periodically":[43],"generated":[44],"by":[45],"verification":[47,136],"procedure,":[48],"leading":[49],"verification-aided":[52,65,181],"framework.":[54],"Despite":[55],"its":[56],"immense":[57],"potential":[58],"in":[59,87,162],"automating":[60],"barrier":[61,85,107,142,152],"function":[62,86,108,121,143],"synthesis,":[63,109],"the":[64,106,130,135,154,177,180],"does":[68],"not":[69],"have":[70],"termination":[71,146],"guarantees":[72],"and":[73,122,132,189],"may":[74],"suffer":[75],"from":[76,134],"low":[78],"success":[79],"rate":[80],"of":[81,105,166,179,186],"valid":[84,141,151],"practice.":[88],"In":[89],"paper,":[91],"we":[92,110],"propose":[93,111],"holistic":[95],"approach":[96],"drawbacks.":[100],"With":[101],"convex":[103],"formulation":[104],"first":[113],"an":[115],"empirically":[116],"well-behaved":[117],"neural":[118,192],"network":[119,193],"basis":[120],"then":[123],"apply":[124],"fine-tuning":[126,155,172],"algorithm":[127,156],"exploits":[129],"convexity":[131],"counterexamples":[133],"failure":[137],"find":[139,160],"with":[144],"finite-step":[145],"guarantees:":[147],"if":[148],"exist":[150],"functions,":[153],"guaranteed":[158],"one":[161],"finite":[164],"number":[165],"iterations.":[167],"We":[168],"demonstrate":[169],"our":[171],"can":[174],"significantly":[175],"boost":[176],"performance":[178],"on":[184],"examples":[185],"different":[187],"scales":[188],"various":[191],"verifiers.":[194]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-04-18T07:56:08.524223","created_date":"2025-10-10T00:00:00"}