Social Explainable AI (SAI) is a new direction in artificial intelligence that emphasises
decentralisation, transparency, social context, and focus on the human users. SAI research …

In this paper we revisit the idea of participation privacy in secure voting, ie, when public data
does not reveal whether a given voter participated in the election. This is an important …

In this paper, we present a substantially enhanced version of our software tool STV
(STrategic Verifier), dedicated to strategy synthesis and model checking of strategic abilities …

We present an expanded version of our tool STV for model checking of strategic abilities.
The new version adds support for knowledge and uncertainty operators, thus enabling the …

Abstract The Ph. D. thesis “State Space Reductions for Multi-agent Systems”, written under
the supervision of Prof. Wojciech Penczek, discusses several approaches to mitigating the …

Autonomous agents provide a powerful paradigm for modelling and analysing socio-
technical systems. They encompass networks of communicating agents that make …

We present an expanded version of our tool STV for model checking of strategic abilities.
The new version adds support for knowledge and uncertainty operators, thus enabling the …

In the era of pervasive artificial intelligence, elements of AI are deeply entrenched in facets
of our daily lives, ranging from social media interactions to car navigation, and even in …

Multi-agent systems describe interactions of multiple entities called agents, often assumed to
be intelligent and autonomous. Alternating-time temporal logic ATL∗ and its fragment ATL …