Verifying strategic abilities in multi-agent systems with private-data sharing - Informatique, Biologie Intégrative et Systèmes Complexes Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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

Francesco Belardinelli
Imperial College London
Informatique, BioInformatique, Systèmes Complexes
Ioana Boureanu
  • Fonction : Auteur
  • PersonId : 1010854
University of Surrey
Catalin Dima
Université Paris-Est Créteil Val-de-Marne - Paris 12
Vadim Malvone
Informatique, BioInformatique, Systèmes Complexes
CV

Domaines

Logique en informatique [cs.LO] Calcul formel [cs.SC]

Frédéric Davesne  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02428214

Soumis le : dimanche 5 janvier 2020-15:12:40

Dernière modification le : mercredi 17 janvier 2024-11:53:01

Fichier non déposé

Dates et versions

hal-02428214 , version 1 (05-01-2020)

Identifiants

  • HAL Id : hal-02428214 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-EVRY IBISC UPEC IBISC-COSMO UNIV-PARIS-SACLAY GS-ENGINEERING GS-COMPUTER-SCIENCE
41 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More