{"id":"https://openalex.org/W3111743621","doi":"https://doi.org/10.1007/s11390-020-0546-7","title":"Verifying ReLU Neural Networks from a Model Checking Perspective","display_name":"Verifying ReLU Neural Networks from a Model Checking Perspective","publication_year":2020,"publication_date":"2020-11-01","ids":{"openalex":"https://openalex.org/W3111743621","doi":"https://doi.org/10.1007/s11390-020-0546-7","mag":"3111743621"},"language":"en","primary_location":{"id":"doi:10.1007/s11390-020-0546-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-020-0546-7","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-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/A5082329778","display_name":"Wanwei Liu","orcid":"https://orcid.org/0000-0002-2315-1704"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wan-Wei Liu","raw_affiliation_strings":["College of Computer Science, National University of Defense Technology, Changsha, 410073, China","College of Computer Science, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science, National University of Defense Technology, Changsha, 410073, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer Science, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027425633","display_name":"Fu Song","orcid":"https://orcid.org/0000-0002-0581-2679"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fu Song","raw_affiliation_strings":["School of Information Science and Technology, ShanghaiTech University, Shanghai, 201210, China","Shanghai Engineering Research Center of Intelligent Vision and Imaging, Shanghai, 201210, China","Shanghai Engineering Research Center of Intelligent Vision and Imaging, Shanghai, China","School of Information Science and Technology, ShanghaiTech University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, ShanghaiTech University, Shanghai, 201210, China","institution_ids":["https://openalex.org/I30809798"]},{"raw_affiliation_string":"Shanghai Engineering Research Center of Intelligent Vision and Imaging, Shanghai, 201210, China","institution_ids":[]},{"raw_affiliation_string":"Shanghai Engineering Research Center of Intelligent Vision and Imaging, Shanghai, China","institution_ids":[]},{"raw_affiliation_string":"School of Information Science and Technology, ShanghaiTech University, Shanghai, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082758415","display_name":"Tang-Hao-Ran Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tang-Hao-Ran Zhang","raw_affiliation_strings":["College of Computer Science, National University of Defense Technology, Changsha, 410073, China","College of Computer Science, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science, National University of Defense Technology, Changsha, 410073, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Computer Science, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101836625","display_name":"Ji Wang","orcid":"https://orcid.org/0000-0003-0637-8744"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]},{"id":"https://openalex.org/I4210154819","display_name":"Centre for High Performance Computing","ror":"https://ror.org/0409egh51","country_code":"ZA","type":"other","lineage":["https://openalex.org/I4210154819"]}],"countries":["CN","ZA"],"is_corresponding":false,"raw_author_name":"Ji Wang","raw_affiliation_strings":["College of Computer Science, National University of Defense Technology, Changsha, 410073, China","State Key Laboratory for High Performance Computing, Changsha, 410073, China","College of Computer Science, National University of Defense Technology, Changsha, China","State Key Laboratory for High Performance Computing, Changsha, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science, National University of Defense Technology, Changsha, 410073, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"State Key Laboratory for High Performance Computing, Changsha, 410073, China","institution_ids":["https://openalex.org/I4210154819"]},{"raw_affiliation_string":"College of Computer Science, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"State Key Laboratory for High Performance Computing, Changsha, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082329778"],"corresponding_institution_ids":["https://openalex.org/I170215575"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":2.7428,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.92494489,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"35","issue":"6","first_page":"1365","last_page":"1381"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9983000159263611,"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.9896000027656555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.867040753364563},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7103809118270874},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6666523218154907},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6414221525192261},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5820419788360596},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5520784854888916},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5359761118888855},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.5165494680404663},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.48676371574401855},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4686569273471832},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4660666286945343},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.4463024139404297},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.443178653717041},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39652884006500244},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37871599197387695},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3282219171524048},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.09262177348136902}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.867040753364563},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7103809118270874},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6666523218154907},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6414221525192261},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5820419788360596},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5520784854888916},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5359761118888855},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.5165494680404663},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.48676371574401855},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4686569273471832},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4660666286945343},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.4463024139404297},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.443178653717041},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39652884006500244},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37871599197387695},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3282219171524048},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.09262177348136902},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11390-020-0546-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-020-0546-7","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W87140126","https://openalex.org/W169539560","https://openalex.org/W1583912692","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1665214252","https://openalex.org/W1974511160","https://openalex.org/W1995341919","https://openalex.org/W2016056788","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2043100293","https://openalex.org/W2096450582","https://openalex.org/W2165073069","https://openalex.org/W2543296129","https://openalex.org/W2594877703","https://openalex.org/W2721006554","https://openalex.org/W2757956526","https://openalex.org/W2791251367","https://openalex.org/W2794609696","https://openalex.org/W2798356176","https://openalex.org/W2799107510","https://openalex.org/W2800473699","https://openalex.org/W2801079363","https://openalex.org/W2909765152","https://openalex.org/W2963600714","https://openalex.org/W2963673089","https://openalex.org/W2964153729","https://openalex.org/W2974147052","https://openalex.org/W3017321024","https://openalex.org/W3030836721"],"related_works":["https://openalex.org/W2032269072","https://openalex.org/W1989788631","https://openalex.org/W1999231617","https://openalex.org/W2884574904","https://openalex.org/W2961758588","https://openalex.org/W4224983736","https://openalex.org/W4288581691","https://openalex.org/W2951140680","https://openalex.org/W2912654482","https://openalex.org/W2150468037"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}