research
∙
05/01/2023
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles
We present a study using new computational methods, based on a novel com...
share
research
∙
10/25/2021
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
Human-autonomy teaming (HAT) scenarios feature humans and autonomous age...
research
∙
05/06/2021
Modelling and Verifying BDI Agents with Bigraphs
The Belief-Desire-Intention (BDI) architecture is a popular framework fo...
research
∙
05/06/2021
Probablistic Bigraphs
Bigraphs are a universal computational modelling formalism for the spati...
research
∙
03/28/2018
