{"id":"https://openalex.org/W4404448301","doi":"https://doi.org/10.1007/978-3-031-75778-5_3","title":"A Literature Review on\u00a0Verification and\u00a0Abstraction of\u00a0Neural Networks Within the\u00a0Formal Methods Community","display_name":"A Literature Review on\u00a0Verification and\u00a0Abstraction of\u00a0Neural Networks Within the\u00a0Formal Methods Community","publication_year":2024,"publication_date":"2024-11-17","ids":{"openalex":"https://openalex.org/W4404448301","doi":"https://doi.org/10.1007/978-3-031-75778-5_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-75778-5_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-75778-5_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"review","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/A5084350487","display_name":"Sudeep Kanav","orcid":"https://orcid.org/0000-0001-6078-4175"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Sudeep Kanav","raw_affiliation_strings":["Masaryk University, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074485601","display_name":"Jan K\u0159et\u00ednsk\u00fd","orcid":"https://orcid.org/0000-0002-8122-2881"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["CZ","DE"],"is_corresponding":false,"raw_author_name":"Jan K\u0159et\u00ednsk\u00fd","raw_affiliation_strings":["Masaryk University, Brno, Czech Republic","Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075972239","display_name":"Sabine Rieder","orcid":"https://orcid.org/0009-0006-6397-3100"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["CZ","DE"],"is_corresponding":false,"raw_author_name":"Sabine Rieder","raw_affiliation_strings":["Masaryk University, Brno, Czech Republic","Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084350487"],"corresponding_institution_ids":["https://openalex.org/I21449261"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.45061211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"65"},"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.9994000196456909,"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.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8587583303451538},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7329843640327454},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6002187728881836},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5347256660461426},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5202049612998962},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5201490521430969},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45129650831222534},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.367687463760376},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36228060722351074},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.07174620032310486}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8587583303451538},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7329843640327454},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6002187728881836},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5347256660461426},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5202049612998962},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5201490521430969},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45129650831222534},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.367687463760376},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36228060722351074},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07174620032310486},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-75778-5_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-75778-5_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":91,"referenced_works":["https://openalex.org/W1977209379","https://openalex.org/W2043100293","https://openalex.org/W2080267935","https://openalex.org/W2143628338","https://openalex.org/W2165073069","https://openalex.org/W2166797227","https://openalex.org/W2412782625","https://openalex.org/W2543296129","https://openalex.org/W2565186948","https://openalex.org/W2594877703","https://openalex.org/W2794609696","https://openalex.org/W2893132739","https://openalex.org/W2900153411","https://openalex.org/W2936674544","https://openalex.org/W2946149952","https://openalex.org/W2957311447","https://openalex.org/W2963054787","https://openalex.org/W2963600714","https://openalex.org/W2965660219","https://openalex.org/W2974147052","https://openalex.org/W2982540258","https://openalex.org/W2988916019","https://openalex.org/W3009094588","https://openalex.org/W3035289617","https://openalex.org/W3036286896","https://openalex.org/W3043641198","https://openalex.org/W3043655933","https://openalex.org/W3046272654","https://openalex.org/W3046662910","https://openalex.org/W3091798065","https://openalex.org/W3094179137","https://openalex.org/W3094683669","https://openalex.org/W3094744677","https://openalex.org/W3096553286","https://openalex.org/W3101424466","https://openalex.org/W3102139284","https://openalex.org/W3105155462","https://openalex.org/W3106795520","https://openalex.org/W3135693135","https://openalex.org/W3135970545","https://openalex.org/W3135979110","https://openalex.org/W3140205966","https://openalex.org/W3147451797","https://openalex.org/W3173140771","https://openalex.org/W3183369696","https://openalex.org/W3183549096","https://openalex.org/W3184424313","https://openalex.org/W3184441520","https://openalex.org/W3184678361","https://openalex.org/W3185438801","https://openalex.org/W3185700666","https://openalex.org/W3186627997","https://openalex.org/W3197845738","https://openalex.org/W3206456594","https://openalex.org/W3206992005","https://openalex.org/W3214890551","https://openalex.org/W4205950066","https://openalex.org/W4206554519","https://openalex.org/W4206840646","https://openalex.org/W4224275454","https://openalex.org/W4225813442","https://openalex.org/W4226119909","https://openalex.org/W4280555383","https://openalex.org/W4286609345","https://openalex.org/W4290087423","https://openalex.org/W4290087446","https://openalex.org/W4290087551","https://openalex.org/W4291238833","https://openalex.org/W4316662652","https://openalex.org/W4316662741","https://openalex.org/W4316662763","https://openalex.org/W4323026396","https://openalex.org/W4323026442","https://openalex.org/W4366672340","https://openalex.org/W4366677946","https://openalex.org/W4367191160","https://openalex.org/W4379534244","https://openalex.org/W4381571085","https://openalex.org/W4384471461","https://openalex.org/W4384521896","https://openalex.org/W4384573554","https://openalex.org/W4386224163","https://openalex.org/W4387843446","https://openalex.org/W4387843449","https://openalex.org/W4387851027","https://openalex.org/W4387868746","https://openalex.org/W4400939083","https://openalex.org/W6602877666","https://openalex.org/W6603394118","https://openalex.org/W6632306577","https://openalex.org/W6968000182"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2037121848","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W61995002"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-12-21T01:58:51.020947","created_date":"2025-10-10T00:00:00"}