@misc{indiciae3aa4461869f7,
  title = {Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity},
  author = {Vincenzo Ciancia and Jan Friso Groote and Diego Latella and Mieke Massink and Erik P. de Vink},
  year = {2026},
  url = {https://arxiv.org/abs/2606.31344},
  note = {Source identifier: 2606.31344}
}