Towards modelling and verification of social explainable AI
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 …
decentralisation, transparency, social context, and focus on the human users. SAI research …
[PDF][PDF] “You Shall not Abstain!” A Formal Study of Forced Participation
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 …
does not reveal whether a given voter participated in the election. This is an important …
STV+ FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems
D Kurpiewski, M Kamiński, W Jamroga - ECAI 2024, 2024 - ebooks.iospress.nl
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 …
(STrategic Verifier), dedicated to strategy synthesis and model checking of strategic abilities …
STV+ KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow
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 …
The new version adds support for knowledge and uncertainty operators, thus enabling the …
[PDF][PDF] State Space Reductions for Multi-agent Systems
T Sidoruk - bip.pw.edu.pl
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 …
the supervision of Prof. Wojciech Penczek, discusses several approaches to mitigating the …
[PDF][PDF] Model Checking of Strategic Timed Temporal Logics
W Penczek - 2023 - ceur-ws.org
Autonomous agents provide a powerful paradigm for modelling and analysing socio-
technical systems. They encompass networks of communicating agents that make …
technical systems. They encompass networks of communicating agents that make …
[PDF][PDF] STV+ KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow
M Kamiński - aamas.csc.liv.ac.uk
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 …
The new version adds support for knowledge and uncertainty operators, thus enabling the …
[PDF][PDF] Trust topologies in verification of social explainable AI
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 …
of our daily lives, ranging from social media interactions to car navigation, and even in …