research
∙
01/03/2023
Correct-by-Design Teamwork Plans for Multi-Agent Systems
We propose Teamwork Synthesis, a version of the distributed synthesis pr...
share
research
∙
01/17/2022
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
Reconfigurable multi-agent systems consist of a set of autonomous agents...
research
∙
07/30/2021
Interleaving Reconfigurable Interaction: Separating Choice from Scheduling using Glue
Reconfigurable interaction induces another dimension of nondeterminism i...
research
∙
04/22/2021
Modelling and Verification of Reconfigurable Multi-Agent Systems
We propose a formalism to model and reason about reconfigurable multi-ag...
research
∙
09/11/2020
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
A controller for a Discrete Event System must achieve its goals despite ...
research
∙
06/26/2019
A Computational Framework for Adaptive Systems and its Verification
Modern computer systems are inherently distributed and feature autonomou...
research
∙
11/05/2018
Operation Control Protocols in Power Distribution Grids
Future power distribution grids will comprise a large number of componen...
research
∙
11/23/2017
A Behavioural Theory for Interactions in Collective-Adaptive Systems
We propose a process calculus, named AbC, to study the behavioural theor...
research
∙
10/26/2017