Skip to Main content Skip to Navigation
Conference papers

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

Francesco Belardinelli 1, 2 Ioana Boureanu 3 Catalin Dima 4 Vadim Malvone 2 
1 Imperial College London
2 IBISC - Informatique, BioInformatique, Systèmes Complexes
3 UNIS - University of Surrey
4 UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-02428214
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Sunday, January 5, 2020 - 3:12:40 PM
Last modification on : Friday, March 11, 2022 - 3:08:09 PM

Identifiers

  • HAL Id : hal-02428214, version 1

Collections

UPEC-UPEM | UNIV-EVRY | IBISC | UPEC | IBISC-COSMO | UNIV-PARIS-SACLAY | GS-ENGINEERING | GS-COMPUTER-SCIENCE

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

27