{"id":"https://openalex.org/W7203905650","doi":"https://doi.org/10.48550/arxiv.2608.20053","title":"ON THE APPLICABILITY OF SAFETY NETS: A SAFETY-BY-DESIGN SOLUTION FOR CERTIFYING NEURAL NETWORKS","display_name":"ON THE APPLICABILITY OF SAFETY NETS: A SAFETY-BY-DESIGN SOLUTION FOR CERTIFYING NEURAL NETWORKS","publication_year":2026,"publication_date":"2026-08-20","ids":{"openalex":"https://openalex.org/W7203905650","doi":"https://doi.org/10.48550/arxiv.2608.20053"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.20053","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.20053","pdf_url":"https://arxiv.org/pdf/2608.20053","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.20053","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078818761","display_name":"Johann Maximilian Christensen","orcid":"https://orcid.org/0000-0001-9871-122X","observed_orcids":["https://orcid.org/0000-0001-9871-122X"]},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christensen, Johann Maximilian","raw_affiliation_strings":["Institute for AI Safety and Security , German Aerospace Center (DLR) , Sankt Augustin , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for AI Safety and Security , German Aerospace Center (DLR) , Sankt Augustin , Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021700546","display_name":"Thomas Stefani","orcid":"https://orcid.org/0000-0001-7352-0590","observed_orcids":["https://orcid.org/0000-0001-7352-0590"]},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefani, Thomas","raw_affiliation_strings":["Institute for AI Safety and Security , German Aerospace Center (DLR) , Ulm , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for AI Safety and Security , German Aerospace Center (DLR) , Ulm , Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120903965","display_name":"Elena Hoemann","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hoemann, Elena","raw_affiliation_strings":["Institute for AI Safety and Security , German Aerospace Center (DLR) , Sankt Augustin , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for AI Safety and Security , German Aerospace Center (DLR) , Sankt Augustin , Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5144036603","display_name":"Frank K\u00f6ster","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"K\u00f6ster, Frank","raw_affiliation_strings":["Institute for AI Safety and Security , German Aerospace Center (DLR) , Sankt Augustin , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for AI Safety and Security , German Aerospace Center (DLR) , Sankt Augustin , Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090665398","display_name":"Sven Hallerbach","orcid":"https://orcid.org/0009-0007-9163-0567","observed_orcids":["https://orcid.org/0009-0007-9163-0567"]},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hallerbach, Sven","raw_affiliation_strings":["Institute for AI Safety and Security , German Aerospace Center (DLR) , Sankt Augustin , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for AI Safety and Security , German Aerospace Center (DLR) , Sankt Augustin , Germany","institution_ids":["https://openalex.org/I2898391981"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I2898391981"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.0019000000320374966,"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/T10036","display_name":"Advanced Neural Network Applications","score":0.0017999999690800905,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/social-safety-nets","display_name":"social safety nets","score":0.7870000004768372},{"id":"https://openalex.org/keywords/safe-by-design","display_name":"safe-by-design","score":0.921999990940094},{"id":"https://openalex.org/keywords/neural-network-compression","display_name":"neural network compression","score":0.7200000286102295},{"id":"https://openalex.org/keywords/lookup-tables","display_name":"look-up table","score":0.9919999837875366},{"id":"https://openalex.org/keywords/one-hot-encoding","display_name":"one-hot encoding","score":0.796999990940094}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7226999998092651},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6895999908447266},{"id":"https://openalex.org/C134835016","wikidata":"https://www.wikidata.org/wiki/Q690265","display_name":"Lookup table","level":2,"score":0.6618000268936157},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.6248999834060669},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6013000011444092},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.49459999799728394},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.4828000068664551},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.4731999933719635},{"id":"https://openalex.org/C74448152","wikidata":"https://www.wikidata.org/wiki/Q765633","display_name":"Aviation","level":2,"score":0.4569000005722046},{"id":"https://openalex.org/C538199239","wikidata":"https://www.wikidata.org/wiki/Q640853","display_name":"Aviation safety","level":3,"score":0.3513000011444092},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C194739806","wikidata":"https://www.wikidata.org/wiki/Q66221","display_name":"Computer data storage","level":2,"score":0.2775000035762787},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2712000012397766},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26910001039505005},{"id":"https://openalex.org/C19527686","wikidata":"https://www.wikidata.org/wiki/Q1665453","display_name":"System integration","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.25850000977516174},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.2522999942302704}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2608.20053","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.20053","pdf_url":"https://arxiv.org/pdf/2608.20053","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.20053","doi":"https://doi.org/10.48550/arxiv.2608.20053","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.20053","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.71945/icas2026_0210","doi":"https://doi.org/10.71945/icas2026_0210","is_oa":true,"landing_page_url":"https://doi.org/10.71945/icas2026_0210","pdf_url":null,"source":{"id":"https://openalex.org/S7407052046","display_name":"International Council of the Aeronautical Sciences (ICAS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.20053","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.20053","pdf_url":"https://arxiv.org/pdf/2608.20053","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7203905650.pdf","grobid_xml":"https://content.openalex.org/works/W7203905650.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4404411115","https://openalex.org/W3120829775","https://openalex.org/W3104114467","https://openalex.org/W3103770729","https://openalex.org/W2996094799","https://openalex.org/W4307367089","https://openalex.org/W7221110639","https://openalex.org/W2919530793","https://openalex.org/W3212074741","https://openalex.org/W2046353767"],"abstract_inverted_index":{"The":[0,182],"integration":[1],"of":[2,24,79,97,171,194,201,229],"Artificial":[3],"Intelligence":[4],"(AI)":[5],"in":[6,107,247],"safety-critical":[7,29,33,259],"aviation":[8,248],"systems":[9,246],"presents":[10,92],"significant":[11],"challenges":[12],"for":[13,232,258],"certification":[14,133],"and":[15,83,103,128,234,249],"deployment.":[16],"Aviation,":[17],"often":[18],"regarded":[19],"as":[20,217,253],"the":[21,65,93,98,157,172,179,187,198,212,225],"safest":[22],"form":[23],"transportation,":[25],"relies":[26],"on":[27],"numerous":[28],"systems.":[30],"For":[31],"future":[32],"AI-based":[34,245],"systems,":[35],"EASA":[36,220],"requires":[37],"a":[38,240,254],"Safety-by-Design":[39,256],"approach,":[40],"which":[41],"can":[42],"be":[43],"achieved":[44],"by":[45,190,219],"using":[46],"Safety":[47,71,108,184,230,251],"Nets":[48,72,185,231,252],"that":[49,124,137],"combine":[50],"neural":[51,101,113,163],"network":[52,102],"compression":[53],"with":[54,115,139,146,153,236],"lookup":[55,104,176],"tables":[56,177],"to":[57,141,149],"ensure":[58],"100":[59,150,207],"%":[60,170,208],"correct":[61,209],"runtime":[62],"behavior":[63],"across":[64,211],"discretized":[66,214],"operational":[67],"design":[68,85,122],"domain.":[69],"Although":[70],"have":[73],"been":[74,88],"studied,":[75],"no":[76],"comprehensive":[77],"study":[78,119],"their":[80],"performance":[81],"characteristics":[82],"system":[84,188],"trade-offs":[86],"has":[87],"conducted.":[89],"This":[90,222],"work":[91,223],"first":[94],"systematic":[95],"analysis":[96],"trade-off":[99],"between":[100],"table":[105],"size":[106,189],"Nets.":[109],"By":[110],"systematically":[111],"comparing":[112],"networks":[114,164],"diverse":[116],"architectures,":[117],"this":[118],"identifies":[120],"optimal":[121],"parameters":[123],"minimize":[125],"overall":[126],"storage":[127],"memory":[129,199],"requirements":[130],"while":[131,174,205],"maintaining":[132],"compliance.":[134],"Results":[135],"demonstrate":[136],"architectures":[138],"3":[140],"5":[142],"hidden":[143],"layers,":[144],"each":[145],"approximately":[147],"50":[148],"nodes,":[151],"combined":[152],"one-hot":[154],"encoding,":[155],"achieve":[156],"best":[158],"balance.":[159],"In":[160],"these":[161],"configurations,":[162],"accurately":[165],"represent":[166],"at":[167],"least":[168],"97":[169],"data,":[173],"compact":[175],"handle":[178],"remaining":[180],"errors.":[181],"resulting":[183],"reduce":[186],"almost":[191],"three":[192],"orders":[193],"magnitude,":[195],"fitting":[196],"within":[197],"budget":[200],"current":[202],"avionics":[203],"hardware":[204],"guaranteeing":[206],"outputs":[210],"entire":[213],"input":[215],"space,":[216],"required":[218],"guidelines.":[221],"provides":[224],"first-ever":[226],"open-source":[227],"implementation":[228],"HCAS":[233],"VCAS":[235],"replicable":[237],"results,":[238],"demonstrating":[239],"practical":[241],"pathway":[242],"toward":[243],"certifiable":[244],"establishing":[250],"viable":[255],"solution":[257],"applications.":[260]},"counts_by_year":[],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2026-08-22T00:00:00"}