Recent Publications

We present a technique for reasoning about properties of unbounded probabilistic multi-agent systems.
PDF Code DOI

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

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

We extend our previous work on verifying probabilistic multi-agent systems to also handle strategic properties.
PDF Code Slides Video Reference

We study a semantics, based on PLTL, for reasoning about the behaviour of an unboundedly large number of probabilistic agents.
PDF Code Poster Reference
See all publications

Recent & Upcoming Talks

Giving an overview of methods for verifying probabilistic multi-agent systems with a possibly unbounded number of agents.
Jan 15, 2021 Virtual
Slides

Presenting joint work with Alessio Lomuscio that was previously published at AAMAS 2019.
Sep 18, 2019 Warsaw, Poland
Slides

Presenting work by Panagiotis Kouvaros and Alessio Lomuscio that was previously published at IJCAI 2017.
Oct 16, 2017 Vienna, Austria
Slides

Service

I helped out with the following conferences:

Contact