Verifying Strategic Abilities in Multi-agent Systems with Private-Data Sharing

Conference presentation

Open access

F. Belardinelli, I. Boureanu, C. Dima and V. Malvone

Proc. of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), pp.1820-1822

International Foundation for Autonomous Agents and MultiAgent Systems (IFAAMAS).

18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) (Montreal, Canada, 13/05/2019 - 17/05/2019)

05/2019

Abstract

pdf

Text Open Access

url

http://www.ifaamas.org/Proceedings/aamas2019/View

Published (Version of record)

url

http://aamas2019.encs.concordia.ca/View

Organisation

41 File views/ downloads

20 Record Views

Title: Verifying Strategic Abilities in Multi-agent Systems with Private-Data Sharing
Creators: F. Belardinelli
I. Boureanu
C. Dima
V. Malvone
Publication Details: Proc. of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), pp.1820-1822
Conference: 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) (Montreal, Canada, 13/05/2019 - 17/05/2019)
Publisher: International Foundation for Autonomous Agents and MultiAgent Systems (IFAAMAS).
Date published: 05/2019
Date submitted: 23/09/2019
Identifiers: 99513227002346
Academic Unit: Department of Computer Science
Resource Type: Conference presentation