research
∙
10/15/2021
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
In this paper, we describe the strategies used by our team, MLFC, that l...
share
research
∙
07/02/2020
Analysing Spatial Properties on Neighbourhood Spaces
We present a bisimulation relation for neighbourhood spaces, a generalis...
research
∙
02/07/2020
Intuitionistic Euler-Venn Diagrams (extended)
We present an intuitionistic interpretation of Euler-Venn diagrams with ...
research
∙
11/05/2018
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles
This report summarizes the discussions, open issues, take-away messages,...
research
∙
09/27/2018
Multi-Scale Verification of Distributed Synchronisation
Algorithms for the synchronisation of clocks across networks are both co...
research
∙
04/18/2018
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
The spread of autonomous systems into safety-critical areas has increase...
research
∙
02/06/2018
Formalising Sensor Topologies for Target Counting
We present a formal model developed to reason about topologies created b...
research
∙
09/07/2017