most citedUsing Spatial Logic and Model Checking for Nevus Segmentation

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2020★ 1 cited

Using Spatial Logic and Model Checking for Nevus Segmentation

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia +2

Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. In the la…