research
∙
01/27/2023
On Bisimilarity for Quasi-discrete Closure Spaces
Closure spaces, a generalisation of topological spaces, have shown to be...
share
research
∙
05/14/2021
On Bisimilarities for Closure Spaces - Preliminary Version
Closure spaces are a generalisation of topological spaces obtained by re...
research
∙
05/13/2021
Geometric Model Checking of Continuous Space
Topological Spatial Model Checking is a recent paradigm that combines Mo...
research
∙
12/24/2020
Using Spatial Logic and Model Checking for Nevus Segmentation
Spatial and spatio-temporal model checking techniques have a wide range ...
research
∙
10/14/2020
A spatial model checker in GPU (extended version)
The tool voxlogica merges the state-of-the-art library of computational ...
research
∙
05/12/2020
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations
The topological interpretation of modal logics provides descriptive lang...
research
∙
11/14/2018
Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Recent research on spatial and spatio-temporal model checking provides n...
research
∙
11/14/2018
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)
Spatial and spatio-temporal model checking techniques have a wide range ...
research
∙
07/08/2016
