@inproceedings{93659d7430aa4930a8daaef37179b9f2,
title = "On Observability Analysis in Multiagent Systems",
abstract = "In multiagent systems (MASs), agents' observation upon system behaviours may improve the overall team performance, but may also leak sensitive information to an observer. A quantified observability analysis can thus be useful to assist decision-making in MASs by operators seeking to optimise the relationship between performance effectiveness and information exposure through observations in practice. This paper presents a novel approach to quantitatively analysing the observability properties in MASs. The concept of opacity is applied to formally express the characterisation of observability in MASs modelled as partially observable multiagent systems. We propose a temporal logic oPATL to reason about agents' observability with quantitative goals, which capture the probability of information transparency of system behaviours to an observer, and develop verification techniques for quantitatively analysing such properties. We implement the approach as an extension of the PRISM model checker, and illustrate its applicability via several examples.",
author = "Chunyan Mu and Jun Pang",
year = "2023",
month = sep,
day = "28",
doi = "10.3233/FAIA230461",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "1755--1762",
editor = "Kobi Gal and Kobi Gal and Ann Nowe and Nalepa, {Grzegorz J.} and Roy Fairstein and Roxana Radulescu",
booktitle = "26th European Conference on Artificial Intelligence, September 30–October 4, 2023, Krak{\'o}w, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)",
address = "Netherlands",
note = "26th European Conference on Artificial Intelligence, ECAI 2023 ; Conference date: 30-09-2023 Through 04-10-2023",
}