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/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
∙
05/12/2020
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations
The topological interpretation of modal logics provides descriptive lang...
research
∙
04/16/2020
Refined Mean Field Analysis of the Gossip Shuffle Protocol – extended version –
Gossip protocols form the basis of many smart collective adaptive system...
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/20/2018
A refined mean field approximation of synchronous discrete-time population models
Mean field approximation is a popular method to study the behaviour of s...
research
∙
07/13/2017
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination
Collective Adaptive Systems (CAS) consist of a large number of interacti...
research
∙
07/08/2016