3 papers
cs.PL2021
Modelling and Verifying BDI Agents with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani +1
The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents; most verification approaches are based on reasoning about implementations of BDI programm…
cs.LO2020
Analysing Spatial Properties on Neighbourhood Spaces
Sven Linker, Fabio Papacchini, Michele Sevegnani
We present a bisimulation relation for neighbourhood spaces, a generalisation of topological spaces. We show that this notion, path preserving bisimulation, preserves formulas of t…
cs.LO2018
Formalising Sensor Topologies for Target Counting
Sven Linker, Michele Sevegnani
We present a formal model developed to reason about topologies created by sensor ranges. This model is used to formalise the topological aspects of an existing counting algorithm t…