{"id":"https://openalex.org/W7123337721","doi":"https://doi.org/10.1109/cdc57313.2025.11312709","title":"Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets","display_name":"Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123337721","doi":"https://doi.org/10.1109/cdc57313.2025.11312709"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312709","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312709","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","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/A5079916505","display_name":"Prashant Solanki","orcid":"https://orcid.org/0000-0003-2551-5345"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Prashant Solanki","raw_affiliation_strings":["TU,Department of Aerospace Engineering,Delft,Netherlands"],"affiliations":[{"raw_affiliation_string":"TU,Department of Aerospace Engineering,Delft,Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Nikolaus Vertovec","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nikolaus Vertovec","raw_affiliation_strings":["University of Oxford,Department of Computer Science,UK,OX1 3PJ"],"affiliations":[{"raw_affiliation_string":"University of Oxford,Department of Computer Science,UK,OX1 3PJ","institution_ids":["https://openalex.org/I4210146410","https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122872364","display_name":"Yannik Schnitzer","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yannik Schnitzer","raw_affiliation_strings":["University of Oxford,Department of Computer Science,UK,OX1 3PJ"],"affiliations":[{"raw_affiliation_string":"University of Oxford,Department of Computer Science,UK,OX1 3PJ","institution_ids":["https://openalex.org/I4210146410","https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079642713","display_name":"Jasper J. van Beers","orcid":"https://orcid.org/0000-0003-2622-2800"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jasper Van Beers","raw_affiliation_strings":["TU,Department of Aerospace Engineering,Delft,Netherlands"],"affiliations":[{"raw_affiliation_string":"TU,Department of Aerospace Engineering,Delft,Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110735519","display_name":"Coen C. de Visser","orcid":null},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Coen de Visser","raw_affiliation_strings":["TU,Department of Aerospace Engineering,Delft,Netherlands"],"affiliations":[{"raw_affiliation_string":"TU,Department of Aerospace Engineering,Delft,Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122901225","display_name":"Alessandro Abate","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandro Abate","raw_affiliation_strings":["University of Oxford,Department of Computer Science,UK,OX1 3PJ"],"affiliations":[{"raw_affiliation_string":"University of Oxford,Department of Computer Science,UK,OX1 3PJ","institution_ids":["https://openalex.org/I4210146410","https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5079916505"],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.7302623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3907","last_page":"3912"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.5478000044822693,"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"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.5478000044822693,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.2840999960899353,"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.04859999939799309,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7531999945640564},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.6920999884605408},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.5788000226020813},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5745000243186951},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5325000286102295},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.504800021648407},{"id":"https://openalex.org/keywords/residual","display_name":"Residual","score":0.47600001096725464},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.46619999408721924},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.44110000133514404},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.4253000020980835}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7531999945640564},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.6920999884605408},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6485000252723694},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.5788000226020813},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5745000243186951},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5325000286102295},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.504800021648407},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.47600001096725464},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.46619999408721924},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.44110000133514404},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.4253000020980835},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.42100000381469727},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41110000014305115},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.40700000524520874},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4043000042438507},{"id":"https://openalex.org/C10347200","wikidata":"https://www.wikidata.org/wiki/Q1960297","display_name":"Hindsight bias","level":2,"score":0.39100000262260437},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38350000977516174},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.3723999857902527},{"id":"https://openalex.org/C197352929","wikidata":"https://www.wikidata.org/wiki/Q1074074","display_name":"Inductive bias","level":4,"score":0.3598000109195709},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.33390000462532043},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.32760000228881836},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.3222000002861023},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.30869999527931213},{"id":"https://openalex.org/C176248197","wikidata":"https://www.wikidata.org/wiki/Q458526","display_name":"Probably approximately correct learning","level":4,"score":0.30869999527931213},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.3046000003814697},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.3034000098705292},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2969000041484833},{"id":"https://openalex.org/C111030470","wikidata":"https://www.wikidata.org/wiki/Q1430460","display_name":"Curse of dimensionality","level":2,"score":0.28360000252723694},{"id":"https://openalex.org/C81363708","wikidata":"https://www.wikidata.org/wiki/Q17084460","display_name":"Convolutional neural network","level":2,"score":0.2833999991416931},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2833999991416931},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2680000066757202},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.26570001244544983},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26429998874664307},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.26100000739097595},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2603999972343445},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.25839999318122864}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312709","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312709","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recent":[0],"approaches":[1],"to":[2,36,98,163],"leveraging":[3],"deep":[4],"learning":[5,125],"for":[6],"computing":[7],"reachable":[8,57,84,147,169],"sets":[9,170],"of":[10,26,54,81,103,111,144,152,171],"continuous-time":[11],"dynamical":[12,173],"systems":[13],"have":[14],"gained":[15],"popularity":[16],"over":[17],"traditional":[18],"level-set":[19,31],"methods,":[20,32],"as":[21,29],"they":[22],"overcome":[23],"the":[24,52,55,82,100,104,109,122,130,137,142,145,150,160],"curse":[25],"dimensionality.":[27],"However,":[28],"with":[30],"considerable":[33],"care":[34],"needs":[35],"be":[37],"taken":[38],"in":[39],"limiting":[40],"approximation":[41],"errors,":[42],"particularly":[43],"since":[44],"no":[45],"guarantees":[46,166],"are":[47],"provided":[48],"during":[49],"training":[50,77],"on":[51,133,167],"accuracy":[53,80,143],"learned":[56,146,168],"set.":[58,85,148],"To":[59,86,149],"address":[60],"this":[61,89],"limitation,":[62],"we":[63,91,120],"introduce":[64],"an":[65],"\u03f5-approximate":[66],"Hamilton-Jacobi":[67],"partial":[68],"differential":[69],"equation":[70],"(HJ-PDE),":[71],"which":[72],"establishes":[73],"a":[74],"relationship":[75],"between":[76],"loss":[78,106],"and":[79,126],"true":[83],"formally":[87],"certify":[88],"approximation,":[90],"leverage":[92],"Satisfiability":[93],"Modulo":[94],"Theories":[95],"(SMT)":[96],"solvers":[97],"bound":[99],"residual":[101],"error":[102],"HJ-based":[105],"function":[107],"across":[108],"domain":[110],"interest.":[112],"Leveraging":[113],"Counter":[114],"Example":[115],"Guided":[116],"Inductive":[117],"Synthesis":[118],"(CEGIS),":[119],"close":[121],"loop":[123],"around":[124],"verification,":[127],"by":[128,136],"fine-tuning":[129],"neural":[131],"network":[132],"counterexamples":[134],"found":[135],"SMT":[138],"solver,":[139],"thus":[140],"improving":[141],"best":[151],"our":[153],"knowledge,":[154],"Certified":[155],"Approximate":[156],"Reachability":[157],"(CARe)":[158],"is":[159],"first":[161],"approach":[162],"provide":[164],"soundness":[165],"continuous":[172],"systems.":[174]},"counts_by_year":[],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2026-01-14T00:00:00"}