Home » Authors » Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Mieke Massink

Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Mieke Massink

Public reference bibliography and cataloged PDF materials authored or published by Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Mieke Massink.

Found 1 document(s) Page 1 of 1

VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)

Year: 2026 • Source: arxiv.org • Listed PDF

We present the tool VoxLogicA2, a spatial model checker aimed at Computer Vision, with applications in high-resolution 2D and 3D medical imaging. The new version of the tool combines logical primitives, non-logical primi...