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
∙
12/09/2022
Efficient Convex Zone Merging in Parametric Timed Automata
Parametric timed automata are a powerful formalism for reasoning on conc...
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
∙
12/08/2020
Modular Analysis of Tree-Topology Models
We investigate networks of automata that synchronise over common action ...
research
∙
07/01/2019
Parametric Verification: An Introduction
This paper constitutes a short introduction to parametric verification o...
research
∙
06/12/2019
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
Attack-Defence Trees (ADTs) are well-suited to assess possible attacks t...
research
∙
02/08/2019
Minimal-Time Synthesis for Parametric Timed Automata
Parametric timed automata (PTA) extend timed automata by allowing parame...
research
∙
02/12/2018