From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging
This is an incremental position paper proposing a preliminary investigation for advancing medical imaging through formal verification methods.
The paper explores applying spatial model checking from Collective Adaptive Systems to Medical Imaging, introducing novel operators that blend logical, statistical, and algorithmic approaches to potentially innovate image analysis.
Recent research on formal verification for Collective Adaptive Systems (CAS) pushed advancements in spatial and spatio-temporal model checking, and as a side result provided novel image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI) is a field where such technologies show potential for ground-breaking innovation. In this position paper, we present a preliminary investigation centred on applications of spatial model checking to MI. The focus is shifted from pure logics to a mixture of logical, statistical and algorithmic approaches, driven by the logical nature intrinsic to the specification of the properties of interest in the field. As a result, novel operators are introduced, that could as well be brought back to the setting of CAS.