 |
Conference papers
Verifying strategic abilities in multi-agent systems with private-data sharing
Francesco Belardinelli 1, 2
Author
Ioana Boureanu 3
Author
Catalin Dima 4
Author IdHAL : catalin-dima arXiv : https://arxiv.org/a/catalin dima
Vadim Malvone 2
Author
1
Imperial College London (South Kensington Campus, London SW7 2AZ - United Kingdom)
2
IBISC - Informatique, BioInformatique, Systèmes Complexes (40,rue du pelvoux, Courcouronnes 91020 EVRY CEDEX - France)
- UEVE - Université d'Évry-Val-d'Essonne : EA4526 (Boulevard François Mitterrand 91025 Evry Cedex - France)
3
UNIS - University of Surrey (University of Surrey, Guildford Surrey GU2 7XH - United Kingdom)
4
UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-02428214
Contributor : Frédéric Davesne <>
Submitted on : Sunday, January 5, 2020 - 3:12:40 PM
Last modification on : Monday, July 6, 2020 - 5:30:11 PM
Contributor : Frédéric Davesne <>
Submitted on : Sunday, January 5, 2020 - 3:12:40 PM
Last modification on : Monday, July 6, 2020 - 5:30:11 PM
Identifiers
- HAL Id : hal-02428214, version 1
Collections
IBISC | UNIV-EVRY | IBISC-COSMO | UPEC-UPEM | UPEC
Citation
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone. Verifying strategic abilities in multi-agent systems with private-data sharing. 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.1820--1822. ⟨hal-02428214⟩
Metrics
Record views