Explainability of radiomics through formal methods. - Giulia Varriano; Pasquale Guerriero; Antonella Santone; Francesco Mercaldo; Luca Brunese (Comput. Methods Programs Biomed., 2022)