{"id":"https://openalex.org/W4366726364","doi":"https://doi.org/10.1007/s10009-023-00701-6","title":"The power of typed affine decision structures: a case study","display_name":"The power of typed affine decision structures: a case study","publication_year":2023,"publication_date":"2023-04-21","ids":{"openalex":"https://openalex.org/W4366726364","doi":"https://doi.org/10.1007/s10009-023-00701-6"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-023-00701-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-023-00701-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-023-00701-6.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10009-023-00701-6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049144085","display_name":"Gerrit Nolte","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gerrit Nolte","raw_affiliation_strings":["Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"Dortmund, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052520033","display_name":"Maximilian Schl\u00fcter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maximilian Schl\u00fcter","raw_affiliation_strings":["Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"Dortmund, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024644413","display_name":"Alnis Murtovi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alnis Murtovi","raw_affiliation_strings":["Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"Dortmund, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078808456","display_name":"Bernhard Steffen","orcid":"https://orcid.org/0000-0001-9619-1558"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bernhard Steffen","raw_affiliation_strings":["Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"Dortmund, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049144085"],"corresponding_institution_ids":[],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.7032,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74734944,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"25","issue":"3","first_page":"355","last_page":"374"},"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9890000224113464,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.9868000149726868,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"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.8146472573280334},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6937870979309082},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6150830984115601},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.6025568246841431},{"id":"https://openalex.org/keywords/dimensionality-reduction","display_name":"Dimensionality reduction","score":0.5549439191818237},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5407348871231079},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4931277930736542},{"id":"https://openalex.org/keywords/curse-of-dimensionality","display_name":"Curse of dimensionality","score":0.4338158369064331},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4008682370185852},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3354039788246155},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11510619521141052}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8146472573280334},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6937870979309082},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6150830984115601},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.6025568246841431},{"id":"https://openalex.org/C70518039","wikidata":"https://www.wikidata.org/wiki/Q16000077","display_name":"Dimensionality reduction","level":2,"score":0.5549439191818237},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5407348871231079},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4931277930736542},{"id":"https://openalex.org/C111030470","wikidata":"https://www.wikidata.org/wiki/Q1430460","display_name":"Curse of dimensionality","level":2,"score":0.4338158369064331},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4008682370185852},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3354039788246155},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11510619521141052},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10009-023-00701-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-023-00701-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-023-00701-6.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2304.14888","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2304.14888","pdf_url":"https://arxiv.org/pdf/2304.14888","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/s10009-023-00701-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-023-00701-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-023-00701-6.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7900000214576721}],"awards":[],"funders":[{"id":"https://openalex.org/F4320329559","display_name":"Technische Universit\u00e4t Dortmund","ror":"https://ror.org/01k97gp34"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366726364.pdf"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W1522301498","https://openalex.org/W1945616565","https://openalex.org/W1996833224","https://openalex.org/W2007339694","https://openalex.org/W2031806265","https://openalex.org/W2033735555","https://openalex.org/W2074768646","https://openalex.org/W2084875723","https://openalex.org/W2089468765","https://openalex.org/W2089947415","https://openalex.org/W2128728535","https://openalex.org/W2182396527","https://openalex.org/W2342045095","https://openalex.org/W2410572895","https://openalex.org/W2553712591","https://openalex.org/W2559655401","https://openalex.org/W2594877703","https://openalex.org/W2763148304","https://openalex.org/W2787881900","https://openalex.org/W2794609696","https://openalex.org/W2804224090","https://openalex.org/W2891503716","https://openalex.org/W2899336029","https://openalex.org/W2913410998","https://openalex.org/W2945295328","https://openalex.org/W2949807021","https://openalex.org/W2950183737","https://openalex.org/W2951603627","https://openalex.org/W2962772482","https://openalex.org/W2962782102","https://openalex.org/W2962824341","https://openalex.org/W2962878175","https://openalex.org/W2962949934","https://openalex.org/W2963735582","https://openalex.org/W2963857521","https://openalex.org/W2964082701","https://openalex.org/W2964105630","https://openalex.org/W2970338090","https://openalex.org/W2982316857","https://openalex.org/W2982540258","https://openalex.org/W2996456641","https://openalex.org/W3102139284","https://openalex.org/W3104149808","https://openalex.org/W3148563252","https://openalex.org/W3197658415","https://openalex.org/W3203751129","https://openalex.org/W3212827451","https://openalex.org/W4206151407","https://openalex.org/W4212774754","https://openalex.org/W4225823310","https://openalex.org/W4234092335","https://openalex.org/W4242177601","https://openalex.org/W4248717215","https://openalex.org/W4287249684","https://openalex.org/W4292779060","https://openalex.org/W4293097209","https://openalex.org/W4295094175","https://openalex.org/W4300511536","https://openalex.org/W4317466250","https://openalex.org/W4381569138","https://openalex.org/W4394653204","https://openalex.org/W6600020652","https://openalex.org/W6600109629","https://openalex.org/W6719080892","https://openalex.org/W6772102193","https://openalex.org/W6778883912","https://openalex.org/W6824754410"],"related_works":["https://openalex.org/W1995622179","https://openalex.org/W1484111231","https://openalex.org/W1552543208","https://openalex.org/W2074396517","https://openalex.org/W2166963679","https://openalex.org/W2187269125","https://openalex.org/W1641615907","https://openalex.org/W3089231081","https://openalex.org/W2093956241","https://openalex.org/W2354420595"],"abstract_inverted_index":{"Abstract":[0],"TADS":[1,16,69,99,153,162],"are":[2],"a":[3,40,62,83,94,98,105,117,138,204],"novel,":[4],"concise":[5,31,189],"white-box":[6],"representation":[7],"of":[8,20,47,108,146,151],"neural":[9,21,36,48,63,156,171],"networks.":[10],"In":[11,39],"this":[12],"paper,":[13],"we":[14,43,174],"apply":[15],"to":[17,26,50,56,73,184],"the":[18,45,142,149,152],"problem":[19],"network":[22,37,101,157,172,205],"verification,":[23],"using":[24,141,177],"them":[25],"generate":[27],"either":[28],"proofs":[29],"or":[30,206],"error":[32],"characterizations":[33],"for":[34,155,191,198],"desirable":[35],"properties.":[38],"case":[41],"study,":[42],"consider":[44],"robustness":[46,81],"networks":[49,64],"adversarial":[51],"attacks,":[52],"i.e.,":[53],"small":[54],"changes":[55],"an":[57],"input":[58,110],"that":[59,68,96,125,194],"drastically":[60],"change":[61],"perception,":[65],"and":[66,79,112,159,187],"show":[67,124,175],"can":[70,134,181,195],"be":[71,135,196],"used":[72,197],"provide":[74],"precise":[75],"diagnostics":[76],"on":[77,104],"how":[78],"where":[80],"errors":[82,193],"occur.":[84],"We":[85,123],"achieve":[86],"these":[87],"results":[88],"by":[89],"introducing":[90],"Precondition":[91],"Projection":[92],",":[93],"technique":[95],"yields":[97],"describing":[100],"behavior":[102],"precisely":[103],"given":[106],"subset":[107],"its":[109],"space,":[111],"combining":[113],"it":[114],"with":[115,130],"PCA,":[116],"traditional,":[118],"well-understood":[119],"dimensionality":[120],"reduction":[121],"technique.":[122],"PCA":[126],"is":[127],"easily":[128],"compatible":[129],"TADS.":[131],"All":[132],"analyses":[133],"implemented":[136],"in":[137],"straightforward":[139],"fashion":[140],"rich":[143],"algebraic":[144],"properties":[145],"TADS,":[147],"demonstrating":[148],"utility":[150],"framework":[154],"explainability":[158],"verification.":[160],"While":[161],"do":[163],"not":[164],"yet":[165],"scale":[166,183],"as":[167,169,202],"efficiently":[168],"state-of-the-art":[170],"verifiers,":[173],"that,":[176],"PCA-based":[178],"simplifications,":[179],"they":[180],"still":[182],"medium-sized":[185],"problems":[186],"yield":[188],"explanations":[190],"potential":[192],"other":[199],"purposes":[200],"such":[201],"debugging":[203],"generating":[207],"new":[208],"training":[209],"samples.":[210]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}