research
∙
02/01/2023
The Attractor of the Replicator Dynamic in Zero-Sum Games
In this paper we characterise the long-run behaviour of the replicator d...
research
∙
09/30/2022
The Replicator Dynamic, Chain Components and the Response Graph
In this paper we examine the relationship between the flow of the replic...
research
∙
09/21/2022
The graph structure of two-player games
In this paper we analyse two-player games by their response graphs. The ...
research
∙
11/09/2021
Modular Decomposition of Hierarchical Finite State Machines
In this paper we develop an analogue of the graph-theoretic `modular dec...
research
∙
04/16/2021
An expressiveness hierarchy of Behavior Trees and related architectures
In this paper we provide a formal framework for comparing the expressive...
research
∙
08/28/2020
On modularity in reactive control architectures, with an application to formal verification
Modularity is a central principle throughout the design process for cybe...
research
∙
08/27/2020