Related Experiment Video
Updated: Sep 26, 2025
Therapy Testing in a Spheroid-based 3D Cell Culture Model for Head and Neck Squamous Cell Carcinoma
Published on: April 20, 2018
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking
Luca Brunese1, Francesco Mercaldo1, Alfonso Reginelli2
1Department of Medicine and Health Sciences "Vincenzo Tiberio", University of Molise, Campobasso, Italy.
Context:
Head and neck cancers are diagnosed at an annual rate of 3% to 7% with respect to the total number of cancers, and 50% to 75% of such new tumours occur in the upper aerodigestive tract.
Purpose:
In this paper we propose formal methods based approach aimed to identify the head and neck tumour treatment stage by means of model checking. We exploit a set of radiomic features to model medical imaging as a labelled transition system to verify treatment stage properties.
Main Findings:
We experiment the proposed method using a public dataset related to computed tomography images obtained in different treatment stages, reaching an accuracy ranging from 0.924 to 0.978 in treatment stage detection.
Principal Conclusions:
The study confirms the effectiveness of the adoption of formal methods in the head and neck carcinoma treatment stage detection to support radiologists and pathologists.
