57 citations · 167 across the 19 of their papers we have counts for
20 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…
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…
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…
On Bisimilarities for Closure Spaces - Preliminary Version
Vincenzo Ciancia, Diego Latella, Mieke Massink Erik de Vink
Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for…