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

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Résumé

no abstract
Fichier principal
Vignette du fichier
S0890540120300407.pdf (710.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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⟩
179 Consultations
28 Téléchargements

Partager

Gmail Facebook X LinkedIn More