Robustness Verification for Classifier Ensembles

Authors :: Hung, D.V.
Sokolsky, O.
Gross, D.
Jansen, N.
Pérez, G.A.
Raaijmakers, S.
Hung, D.V.
Sokolsky, O.
Gross, D.
Jansen, N.
Pérez, G.A.
Raaijmakers, S.
Source :: Hung, D.V.; Sokolsky, O. (ed.), Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings; Lecture Notes in Computer Science; 271; 287; 9783030591526; 0302-9743; Lecture Notes in Computer Science ; 12302; Hung, D.V.; Sokolsky, O. (ed.), Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings~Lecture Notes in Computer Science~271~287~~9783030591526~0302-9743~~~Lecture Notes in Computer Science ; 12302~
Publication Year :: 2020
Abstract: ATVA 2020<br />Contains fulltext : 225782.pdf (publisher's version ) (Closed access)

Database :: OAIster
Journal :: Hung, D.V.; Sokolsky, O. (ed.), Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings; Lecture Notes in Computer Science; 271; 287; 9783030591526; 0302-9743; Lecture Notes in Computer Science ; 12302; Hung, D.V.; Sokolsky, O. (ed.), Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings~Lecture Notes in Computer Science~271~287~~9783030591526~0302-9743~~~Lecture Notes in Computer Science ; 12302~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1247228751
Document Type :: Electronic Resource