VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Browse the full TACAS paper archive.