Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods. - Casale R; Varriano G; Santone A; Messina C; Casale C; Gitto S; Sconfienza LM; Bali MA; Brunese L (JAMIA open, 2023)