Robustness Verification for Classifier Ensembles

DOI10.1007/978-3-030-59152-6_15MaRDI QIDQ6485879

Unnamed Author, Unnamed Author, Nils Jansen, Guillermo A. Perez

Publication date: 22 December 2022

Published in: 1517.68238 (Search for Journal in Brave)

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Robustness Verification for Classifier Ensembles