5 papers
Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
Vincenzo Ciancia, Jan Friso Groote, Diego Latella +2
Spatial models are of increasing interest in traditional computer science domains and beyond. Spatial minimisation procedures are crucial for efficient model checking of such model…
On Bisimilarity for Quasi-discrete Closure Spaces
Vincenzo Ciancia, Diego Latella, Mieke Massink +1
Closure spaces, a generalisation of topological spaces, have shown to be a convenient theoretical framework for spatial model checking. The closure operator of closure spaces and q…
A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks
Manuela Imbriani, Gina Belmonte, Mieke Massink +2
This paper presents preliminary results in the definition of a comprehensive benchmark framework designed to systematically evaluate spatial reasoning capabilities in neural networ…
Practical Exploration of Polyhedral Model Checking
Yuri Andriaccio, Vincenzo Ciancia, Diego Latella +1
This work explores the potential of spatial model checking of polyhedral models on a number of selected examples. In computer graphics polyhedral models can be found in the form of…
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +4
In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplici…