Robustness Certification of k-Nearest Neighbors. - Nicolò Fassina; Francesco Ranzato; Marco Zanella (ICDM, 2023)

Robustness verification of k-nearest neighbors by abstract interpretation. - Nicolò Fassina; Francesco Ranzato; Marco Zanella (Knowl. Inf. Syst., 2024)