Recent Publications

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.

Editorship for the proceedings of 2018 Imperial College Computing Student Workshop.

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