{"id":"https://openalex.org/W4414433525","doi":"https://doi.org/10.1109/fdl68117.2025.11165399","title":"Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams","display_name":"Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams","publication_year":2025,"publication_date":"2025-09-10","ids":{"openalex":"https://openalex.org/W4414433525","doi":"https://doi.org/10.1109/fdl68117.2025.11165399"},"language":"en","primary_location":{"id":"doi:10.1109/fdl68117.2025.11165399","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl68117.2025.11165399","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Forum on Specification & Design Languages (FDL)","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/A5115408037","display_name":"Hagen Heermann","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]},{"id":"https://openalex.org/I73114660","display_name":"University of Applied Sciences Kaiserslautern","ror":"https://ror.org/05dkqa017","country_code":"DE","type":"education","lineage":["https://openalex.org/I73114660"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Hagen Heermann","raw_affiliation_strings":["University of Kaiserslautern-Landau,Cyber-Physical Systems Chair,Kaiserslautern,Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern-Landau,Cyber-Physical Systems Chair,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I153267046","https://openalex.org/I73114660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119704433","display_name":"Pascal Grabowsky","orcid":null},"institutions":[{"id":"https://openalex.org/I73114660","display_name":"University of Applied Sciences Kaiserslautern","ror":"https://ror.org/05dkqa017","country_code":"DE","type":"education","lineage":["https://openalex.org/I73114660"]},{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pascal Grabowsky","raw_affiliation_strings":["University of Kaiserslautern-Landau,Cyber-Physical Systems Chair,Kaiserslautern,Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern-Landau,Cyber-Physical Systems Chair,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I153267046","https://openalex.org/I73114660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048393964","display_name":"Carna Zivkovic","orcid":"https://orcid.org/0000-0002-5358-739X"},"institutions":[{"id":"https://openalex.org/I98301712","display_name":"Baidu (China)","ror":"https://ror.org/03vs3wt56","country_code":"CN","type":"company","lineage":["https://openalex.org/I98301712"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Carna Zivkovic","raw_affiliation_strings":["BistroID Ltd.,United Kingdom"],"affiliations":[{"raw_affiliation_string":"BistroID Ltd.,United Kingdom","institution_ids":["https://openalex.org/I98301712"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103027575","display_name":"Christoph Grimm","orcid":"https://orcid.org/0000-0002-5930-7563"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]},{"id":"https://openalex.org/I73114660","display_name":"University of Applied Sciences Kaiserslautern","ror":"https://ror.org/05dkqa017","country_code":"DE","type":"education","lineage":["https://openalex.org/I73114660"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Grimm","raw_affiliation_strings":["University of Kaiserslautern-Landau,Cyber-Physical Systems Chair,Kaiserslautern,Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern-Landau,Cyber-Physical Systems Chair,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I153267046","https://openalex.org/I73114660"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5115408037"],"corresponding_institution_ids":["https://openalex.org/I153267046","https://openalex.org/I73114660"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14215081,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.8628000020980835,"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/T10320","display_name":"Neural Networks and Applications","score":0.8628000020980835,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.8579999804496765,"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.8574000000953674,"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.8849999904632568},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.722599983215332},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6022999882698059},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5662999749183655},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5184000134468079},{"id":"https://openalex.org/keywords/affine-arithmetic","display_name":"Affine arithmetic","score":0.5059999823570251},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.3783999979496002},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.3215999901294708}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8849999904632568},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.722599983215332},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6184999942779541},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6022999882698059},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5662999749183655},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5184000134468079},{"id":"https://openalex.org/C167315692","wikidata":"https://www.wikidata.org/wiki/Q3622729","display_name":"Affine arithmetic","level":3,"score":0.5059999823570251},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47589999437332153},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.42089998722076416},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4104999899864197},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4032999873161316},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3783999979496002},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3208000063896179},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.31150001287460327},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.310699999332428},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.30709999799728394},{"id":"https://openalex.org/C207221997","wikidata":"https://www.wikidata.org/wiki/Q938614","display_name":"Affine combination","level":3,"score":0.30160000920295715},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2822999954223633},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.27480000257492065},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C186399060","wikidata":"https://www.wikidata.org/wiki/Q959962","display_name":"Diagram","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C32946077","wikidata":"https://www.wikidata.org/wiki/Q618079","display_name":"Network analysis","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2581000030040741}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl68117.2025.11165399","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl68117.2025.11165399","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Forum on Specification & Design Languages (FDL)","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":13,"referenced_works":["https://openalex.org/W2016232724","https://openalex.org/W2576277975","https://openalex.org/W2594877703","https://openalex.org/W2886056934","https://openalex.org/W2957311447","https://openalex.org/W3046272654","https://openalex.org/W3122363971","https://openalex.org/W3140205966","https://openalex.org/W3160641830","https://openalex.org/W4381571085","https://openalex.org/W4382935858","https://openalex.org/W4401168937","https://openalex.org/W6927813363"],"related_works":[],"abstract_inverted_index":{"Deep":[0],"Neural":[1],"Networks":[2],"(DNNs)":[3],"are":[4],"increasingly":[5],"used":[6],"in":[7],"safety-critical":[8],"Cyber-Physical":[9],"Systems":[10],"(CPS),":[11],"requiring":[12],"rigorous":[13],"verification.":[14,57],"Existing":[15],"methods":[16],"struggle":[17],"with":[18],"scalability":[19],"and":[20,40,55,64],"over-approximation.":[21],"We":[22],"introduce":[23],"Affine":[24],"Arithmetic":[25],"Decision":[26],"Diagrams":[27],"(AADDs)":[28],"for":[29,62],"DNN":[30],"reachability":[31],"analysis,":[32],"leveraging":[33],"affine":[34],"arithmetic":[35],"to":[36],"preserve":[37],"variable":[38],"correlations":[39],"improve":[41],"precision.":[42],"Our":[43],"approach":[44],"provides":[45],"a":[46],"structured":[47],"symbolic":[48],"representation":[49],"of":[50],"network":[51],"decisions,":[52],"enabling":[53],"efficient":[54],"accurate":[56],"Additionally,":[58],"AADDs":[59],"unify":[60],"verification":[61],"DNNs":[63],"Analog-Mixed-Signal":[65],"(AMS)":[66],"systems,":[67],"supporting":[68],"holistic":[69],"safety":[70],"analysis.":[71]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}