Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Résumé

no abstract

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
S0890540120300407.pdf (710.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Accord Elsevier CCSD  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01699927

Soumis le : vendredi 3 février 2023-15:13:06

Dernière modification le : mardi 19 novembre 2024-20:10:00

Archivage à long terme le : jeudi 4 mai 2023-19:47:13

Télécharger pour visualiser

Dates et versions

hal-01699927 , version 1 (03-02-2023)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

  • HAL Id : hal-01699927 , version 1

Citer

Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones. Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, Unknown, Unknown Region. pp.1286--1295. ⟨hal-01699927⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-EVRY LACL IBISC UPEC IBISC-COSMO UNIV-PARIS-SACLAY IAF17 GS-ENGINEERING GS-COMPUTER-SCIENCE
197 Consultations
49 Téléchargements

Partager

More