research
∙
05/08/2023
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models
Expressing attack-defence trees in a multi-agent setting allows for stud...
share
research
∙
02/26/2023
Strategic (Timed) Computation Tree Logic
We define extensions of CTL and TCTL with strategic operators, called St...
research
∙
02/02/2023
Towards Modelling and Verification of Social Explainable AI
Social Explainable AI (SAI) is a new direction in artificial intelligenc...
research
∙
01/18/2021
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Expressing attack-defence trees in a multi-agent setting allows for stud...
research
∙
03/08/2020