Recent Publications

Thesis describing the work carried out over the course of my PhD on verifying the properties of probabilistic swarm systems.

We extend our previous work on verifying probabilistic multi-agent systems to also handle faults in the system.

We extend our previous work on verifying probabilistic multi-agent systems to also handle strategic properties.

We study a semantics, based on PLTL, for reasoning about the behaviour of an unboundedly large number of probabilistic agents.

We introduce a semantics to reason about MAS in which an arbitrarily large number of agents may join and leave at run-time.

Recent & Upcoming Talks

Giving an overview of methods for verifying probabilistic multi-agent systems with a possibly unbounded number of agents.

Presenting joint work with Alessio Lomuscio that was previously published at AAMAS 2019.

Presenting work by Panagiotis Kouvaros and Alessio Lomuscio that was previously published at IJCAI 2017.

Service

I helped out with the following conferences:

Contact