{"id":"https://openalex.org/W2112951559","doi":"https://doi.org/10.1109/ijcnn.2004.1381104","title":"Randomized approach to verification of neural networks","display_name":"Randomized approach to verification of neural networks","publication_year":2005,"publication_date":"2005-02-28","ids":{"openalex":"https://openalex.org/W2112951559","doi":"https://doi.org/10.1109/ijcnn.2004.1381104","mag":"2112951559"},"language":"en","primary_location":{"id":"doi:10.1109/ijcnn.2004.1381104","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn.2004.1381104","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2004 IEEE International Joint Conference on Neural Networks (IEEE Cat. No.04CH37541)","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/A5074681144","display_name":"R.R. Zakrzewski","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"R.R. Zakrzewski","raw_affiliation_strings":["Fuel and Utility Systems, Goodrich Corporation, Vergennes, VT, USA","Fuel & Utility Syst., Goodrich Corp., Vergennes, VT, USA"],"affiliations":[{"raw_affiliation_string":"Fuel and Utility Systems, Goodrich Corporation, Vergennes, VT, USA","institution_ids":[]},{"raw_affiliation_string":"Fuel & Utility Syst., Goodrich Corp., Vergennes, VT, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5074681144"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9579,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.8130711,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"4","issue":null,"first_page":"2819","last_page":"2824"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T10876","display_name":"Fault Detection and Control Systems","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9898999929428101,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7459606528282166},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5322093367576599},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3503113389015198}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7459606528282166},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5322093367576599},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3503113389015198}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ijcnn.2004.1381104","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn.2004.1381104","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2004 IEEE International Joint Conference on Neural Networks (IEEE Cat. No.04CH37541)","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":9,"referenced_works":["https://openalex.org/W120188884","https://openalex.org/W1546267836","https://openalex.org/W1937344979","https://openalex.org/W2056629325","https://openalex.org/W2087229864","https://openalex.org/W2089657469","https://openalex.org/W2103855539","https://openalex.org/W2151084831","https://openalex.org/W4229739412"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2386387936","https://openalex.org/W3107474891","https://openalex.org/W1629725936","https://openalex.org/W3001020386","https://openalex.org/W644753246","https://openalex.org/W2159443810"],"abstract_inverted_index":{"Rigorous":[0],"verification":[1,29,138],"of":[2,18,35,41,55,66,76,78,83,89,108,136],"neural":[3,68],"nets":[4],"is":[5,59,70,86,98,111,114,124],"necessary":[6],"in":[7],"safety-critical":[8],"applications":[9],"such":[10],"as":[11,38,72],"commercial":[12],"aviation.":[13],"This":[14],"paper":[15],"investigates":[16],"feasibility":[17],"a":[19,39,67,94,125],"randomized":[20,57],"approach":[21],"to":[22,48,128],"the":[23,56,62,90,102,106,118,122,129],"problem.":[24],"The":[25,80],"previously":[26],"developed":[27],"deterministic":[28,130],"method":[30,58,123],"suffers":[31],"from":[32,61],"exponential":[33],"growth":[34],"computational":[36],"complexity":[37,54],"function":[40],"problem":[42,63],"dimensionality,":[43],"which":[44],"limits":[45],"its":[46],"applicability":[47],"low":[49],"dimensional":[50],"cases.":[51],"In":[52],"contrast,":[53],"independent":[60],"dimension.":[64],"Verification":[65],"net":[69],"formulated":[71],"Monte":[73],"Carlo":[74],"estimation":[75],"probability":[77],"failure.":[79],"required":[81],"number":[82,107],"random":[84],"samples":[85],"analyzed.":[87],"Instead":[88],"general":[91],"Chernov-based":[92],"bound,":[93],"significantly":[95],"improved":[96],"condition":[97],"found":[99],"by":[100,139],"exploiting":[101],"special":[103],"case":[104],"when":[105],"observed":[109],"failures":[110],"zero.":[112],"It":[113],"shown":[115],"that":[116],"with":[117],"currently":[119],"available":[120],"computers":[121],"viable":[126],"alternative":[127],"technique.":[131],"Issues":[132],"regarding":[133],"possible":[134],"acceptance":[135],"statistical":[137],"certification":[140],"authorities":[141],"are":[142],"also,":[143],"briefly":[144],"discussed.":[145]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}