TY  - RPRT
TI  - Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
AU  - Vincenzo Ciancia
AU  - Jan Friso Groote
AU  - Diego Latella
AU  - Mieke Massink
AU  - Erik P. de Vink
PY  - 2026
UR  - https://arxiv.org/abs/2606.31344
ID  - 2606.31344
ER  -