research
∙
12/24/2020
Using Spatial Logic and Model Checking for Nevus Segmentation
Spatial and spatio-temporal model checking techniques have a wide range ...
share
research
∙
11/14/2018
Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Recent research on spatial and spatio-temporal model checking provides n...
research
∙
11/14/2018
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)
Spatial and spatio-temporal model checking techniques have a wide range ...
research
∙
07/08/2016