Verifying strategic abilities in multi-agent systems with private-data sharing

Francesco Belardinelli; Ioana Boureanu; Catalin Dima; Vadim Malvone

Verifying strategic abilities in multi-agent systems with private-data sharing

Francesco Belardinelli
, Ioana Boureanu
, Catalin Dima
, Vadim Malvone

Imperial College London
Université d'Evry Val d'Essonne
University of Surrey
Université de PARIS XII

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
Editeur	International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages	1820-1822
Nombre de pages	3
ISBN (Electronique)	9781510892002
état	Publié - 1 janv. 2019
Modification externe	Oui
Evénement	18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 - Montreal, Canada Durée: 13 mai 2019 → 17 mai 2019

Série de publications

Nom	Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume	3
ISSN (imprimé)	1548-8403
ISSN (Electronique)	1558-2914

Une conférence

Une conférence	18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
Pays/Territoire	Canada
La ville	Montreal
période	13/05/19 → 17/05/19

Contient cette citation

Belardinelli, F., Boureanu, I., Dima, C., & Malvone, V. (2019). Verifying strategic abilities in multi-agent systems with private-data sharing. Dans 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 (p. 1820-1822). (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol 3). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

Belardinelli, Francesco ; Boureanu, Ioana ; Dima, Catalin et al. / Verifying strategic abilities in multi-agent systems with private-data sharing. 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2019. p. 1820-1822 (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

@inproceedings{d0163a0216aa4f58bcec5835e7c1bec0,

title = "Verifying strategic abilities in multi-agent systems with private-data sharing",

author = "Francesco Belardinelli and Ioana Boureanu and Catalin Dima and Vadim Malvone",

year = "2019",

month = jan,

day = "1",

language = "English",

series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",

publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",

pages = "1820--1822",

booktitle = "18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019",

note = "18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 ; Conference date: 13-05-2019 Through 17-05-2019",

}

Belardinelli, F, Boureanu, I, Dima, C & Malvone, V 2019, Verifying strategic abilities in multi-agent systems with private-data sharing. Dans 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOL. 3, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1820-1822, 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019, Montreal, Canada, 13/05/19.

Verifying strategic abilities in multi-agent systems with private-data sharing. / Belardinelli, Francesco; Boureanu, Ioana; Dima, Catalin et al.
18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2019. p. 1820-1822 (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol 3).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Verifying strategic abilities in multi-agent systems with private-data sharing

AU - Belardinelli, Francesco

AU - Boureanu, Ioana

AU - Dima, Catalin

AU - Malvone, Vadim

PY - 2019/1/1

Y1 - 2019/1/1

M3 - Conference contribution

AN - SCOPUS:85076892588

T3 - Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

SP - 1820

EP - 1822

BT - 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019

PB - International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

T2 - 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019

Y2 - 13 May 2019 through 17 May 2019

ER -

Belardinelli F, Boureanu I, Dima C, Malvone V. Verifying strategic abilities in multi-agent systems with private-data sharing. Dans 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 2019. p. 1820-1822. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).