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
∙
03/15/2023
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibil...
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
∙
06/12/2019