# From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

arXiv: https://arxiv.org/abs/1607.02235 · HTML: https://mlsanity.com/paper/1607.02235/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Jul 2016.

## Built on by (most cited first, 1 of 1)

- [Model Checking in Medical Imaging for Tumor Detection and Segmentation](https://mlsanity.com/paper/2501.02024/) (2025)

## Abstract (arXiv)

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.