Spatial Logics and Model Checking for Medical Imaging (Extended Version)

Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia +2

Recent research on spatial and spatio-temporal model checking provides novel image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI) is…