Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone. A novel methodology for head and neck carcinoma treatment stage detection by means of model checking. Artificial Intelligence in Medicine, 127:102263, 2022. [doi]
Abstract is missing.