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
∙
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
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them
Recently, we proposed a framework for verification of agents' abilities ...
research
∙
02/08/2020
SAT-Based ATL Satisfiability Checking
Synthesis of models and strategies is a very important problem in softwa...
research
∙
07/01/2019
Parametric Verification: An Introduction
This paper constitutes a short introduction to parametric verification o...
research
∙
06/12/2019