{"id":"https://openalex.org/W3186627997","doi":"https://doi.org/10.1007/978-3-030-81685-8_12","title":"Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability","display_name":"Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3186627997","doi":"https://doi.org/10.1007/978-3-030-81685-8_12","mag":"3186627997"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-81685-8_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81685-8_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_12.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_12.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023289374","display_name":"Hoang-Dung Tran","orcid":"https://orcid.org/0000-0001-6946-9526"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hoang-Dung Tran","raw_affiliation_strings":["University of Nebraska-Lincoln, Lincoln, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln, Lincoln, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005381976","display_name":"Neelanjana Pal","orcid":"https://orcid.org/0000-0002-5978-8168"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Neelanjana Pal","raw_affiliation_strings":["Vanderbilt University, Nashville, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056925300","display_name":"Patrick Musau","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick Musau","raw_affiliation_strings":["Vanderbilt University, Nashville, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021939745","display_name":"Diego Manzanas Lopez","orcid":"https://orcid.org/0000-0003-0721-1241"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Diego Manzanas Lopez","raw_affiliation_strings":["Vanderbilt University, Nashville, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062691664","display_name":"Nathaniel Hamilton","orcid":"https://orcid.org/0000-0002-7147-1964"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nathaniel Hamilton","raw_affiliation_strings":["Vanderbilt University, Nashville, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005299838","display_name":"Xiaodong Yang","orcid":"https://orcid.org/0000-0003-1310-2615"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaodong Yang","raw_affiliation_strings":["Vanderbilt University, Nashville, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033330108","display_name":"Stanley Bak","orcid":"https://orcid.org/0000-0003-4947-9553"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stanley Bak","raw_affiliation_strings":["Stony Brook University, Stony Brook, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University, Stony Brook, USA","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["Vanderbilt University, Nashville, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5023289374"],"corresponding_institution_ids":["https://openalex.org/I114395901"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":10.0548,"has_fulltext":true,"cited_by_count":37,"citation_normalized_percentile":{"value":0.98743074,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"263","last_page":"286"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":1.0,"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":1.0,"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9904999732971191,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T10036","display_name":"Advanced Neural Network Applications","score":0.9659000039100647,"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/robustness","display_name":"Robustness (evolution)","score":0.8529554605484009},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8287842273712158},{"id":"https://openalex.org/keywords/segmentation","display_name":"Segmentation","score":0.6267390251159668},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5862314105033875},{"id":"https://openalex.org/keywords/mnist-database","display_name":"MNIST database","score":0.5329870581626892},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.4658399820327759},{"id":"https://openalex.org/keywords/pattern-recognition","display_name":"Pattern recognition (psychology)","score":0.4641135334968567},{"id":"https://openalex.org/keywords/convolutional-neural-network","display_name":"Convolutional neural network","score":0.4583025276660919},{"id":"https://openalex.org/keywords/pooling","display_name":"Pooling","score":0.4540255665779114},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.45136430859565735},{"id":"https://openalex.org/keywords/image-segmentation","display_name":"Image segmentation","score":0.44157472252845764},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.43686673045158386},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.37530261278152466},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2529195547103882}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.8529554605484009},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8287842273712158},{"id":"https://openalex.org/C89600930","wikidata":"https://www.wikidata.org/wiki/Q1423946","display_name":"Segmentation","level":2,"score":0.6267390251159668},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5862314105033875},{"id":"https://openalex.org/C190502265","wikidata":"https://www.wikidata.org/wiki/Q17069496","display_name":"MNIST database","level":3,"score":0.5329870581626892},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.4658399820327759},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.4641135334968567},{"id":"https://openalex.org/C81363708","wikidata":"https://www.wikidata.org/wiki/Q17084460","display_name":"Convolutional neural network","level":2,"score":0.4583025276660919},{"id":"https://openalex.org/C70437156","wikidata":"https://www.wikidata.org/wiki/Q7228652","display_name":"Pooling","level":2,"score":0.4540255665779114},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.45136430859565735},{"id":"https://openalex.org/C124504099","wikidata":"https://www.wikidata.org/wiki/Q56933","display_name":"Image segmentation","level":3,"score":0.44157472252845764},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.43686673045158386},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.37530261278152466},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2529195547103882},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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":1,"locations":[{"id":"doi:10.1007/978-3-030-81685-8_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81685-8_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_12.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-81685-8_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81685-8_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_12.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4000000059604645,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1470115129","display_name":null,"funder_award_id":"FA8750-18-C-0089","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G483564692","display_name":null,"funder_award_id":"FA9550-19-1-0288","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7377016339","display_name":null,"funder_award_id":"1910017","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3186627997.pdf","grobid_xml":"https://content.openalex.org/works/W3186627997.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W2543296129","https://openalex.org/W2594877703","https://openalex.org/W2623430965","https://openalex.org/W2791251367","https://openalex.org/W2869036160","https://openalex.org/W2892430965","https://openalex.org/W2893132739","https://openalex.org/W2896014703","https://openalex.org/W2900153411","https://openalex.org/W2936674544","https://openalex.org/W2955364893","https://openalex.org/W2955566917","https://openalex.org/W2957311447","https://openalex.org/W2963054787","https://openalex.org/W2963178695","https://openalex.org/W2963857521","https://openalex.org/W2964097310","https://openalex.org/W2964130946","https://openalex.org/W2965660219","https://openalex.org/W2974147052","https://openalex.org/W2980176594","https://openalex.org/W2980176926","https://openalex.org/W2989358546","https://openalex.org/W2998574230","https://openalex.org/W3016963359","https://openalex.org/W3034215083","https://openalex.org/W3035004134","https://openalex.org/W3043655933","https://openalex.org/W3046662910","https://openalex.org/W3046712683","https://openalex.org/W3048679064","https://openalex.org/W3093796394","https://openalex.org/W3105155462","https://openalex.org/W3117881175","https://openalex.org/W3127422557","https://openalex.org/W3132455321","https://openalex.org/W4251147723","https://openalex.org/W6601760687","https://openalex.org/W6652937047"],"related_works":["https://openalex.org/W2914384215","https://openalex.org/W2976775487","https://openalex.org/W3208266890","https://openalex.org/W2911373680","https://openalex.org/W4310518182","https://openalex.org/W4318240638","https://openalex.org/W4318454055","https://openalex.org/W1664573881","https://openalex.org/W2742840317","https://openalex.org/W2792873414"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"introduces":[3],"robustness":[4,24,44,65,84,113],"verification":[5,25,36,66,268],"for":[6,23,38,87,114,146,216,220,270],"semantic":[7,13,68],"segmentation":[8,14,69,89,147,196],"neural":[9,29,47,90,271],"networks":[10,15,48,272],"(in":[11],"short,":[12],"[SSNs]),":[16],"building":[17],"on":[18,153,195],"and":[19,55,62,81,105,134,193,218,252],"extending":[20],"recent":[21,32],"approaches":[22],"of":[26,52,67,98,112,120,138,165,168,203,227],"image":[27],"classification":[28,283],"networks.":[30],"Despite":[31],"progress":[33],"in":[34,45,50,122,230,282],"developing":[35,80],"methods":[37,86],"specifications":[39],"such":[40,101,116,198],"as":[41,102,117,199,206],"local":[42],"adversarial":[43,132,250],"deep":[46],"(DNNs)":[49],"terms":[51],"scalability,":[53],"precision,":[54],"applicability":[56],"to":[57,161,173,249,254],"different":[58,131],"network":[59,91],"architectures,":[60,92],"layers,":[61,100],"activation":[63],"functions,":[64],"has":[70],"not":[71,238],"yet":[72],"been":[73],"considered.":[74],"We":[75,108],"address":[76],"this":[77],"limitation":[78],"by":[79,94,212],"applying":[82],"new":[83,155,259],"analysis":[85,97,279],"several":[88,110],"specifically":[93],"addressing":[95],"reachability":[96,157,261],"up-sampling":[99,217],"transposed":[103,214],"convolution":[104,215],"dilated":[106],"convolution.":[107],"consider":[109],"definitions":[111],"segmentation,":[115],"the":[118,123,141,163,177,225,231,267,277],"percentage":[119,164],"pixels":[121],"output":[124],"that":[125,211,245],"can":[126,234,264],"be":[127],"proven":[128],"robust":[129,136,248],"under":[130],"perturbations,":[133],"a":[135,154,166,181,200],"variant":[137,202],"intersection-over-union":[139],"(IoU),":[140,242],"typical":[142],"performance":[143],"evaluation":[144],"measure":[145],"tasks.":[148,284],"Our":[149],"approach":[150,186],"is":[151,187],"based":[152],"relaxed":[156,260],"method,":[158,262],"allowing":[159],"users":[160],"select":[162],"number":[167,226],"linear":[169],"programming":[170],"problems":[171],"(LPs)":[172],"solve":[174],"when":[175],"constructing":[176],"reachable":[178],"set,":[179],"through":[180],"relaxation":[182],"factor":[183],"percentage.":[184],"The":[185],"implemented":[188],"within":[189],"NNV,":[190],"then":[191],"applied":[192],"evaluated":[194],"datasets,":[197],"multi-digit":[201],"MNIST":[204],"known":[205],"M2NIST.":[207],"Thorough":[208],"experiments":[209],"show":[210],"using":[213,257],"average-pooling":[219],"down-sampling,":[221],"combined":[222],"with":[223,237],"minimizing":[224],"ReLU":[228,274],"layers":[229,275],"SSNs,":[232],"we":[233,263],"obtain":[235],"SSNs":[236],"only":[239],"high":[240],"accuracy":[241],"but":[243],"also":[244],"are":[246],"more":[247],"attacks":[251],"amenable":[253],"verification.":[255],"Additionally,":[256],"our":[258],"significantly":[265],"reduce":[266],"time":[269],"whose":[273],"dominate":[276],"total":[278],"time,":[280],"even":[281]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":17},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}