4 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…
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +5
The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral mo…
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…
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…