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

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

collaborators

1 paper

cs.LO2016★ 12 cited

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

Gina Belmonte, Vincenzo Ciancia, Diego Latella +1

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…