Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Abstract : no abstract
Type de document :
Communication dans un congrès
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, 2017
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699927
Contributeur : Catalin Dima <>
Soumis le : vendredi 2 février 2018 - 22:51:02
Dernière modification le : samedi 3 mars 2018 - 22:36:29

Identifiants

  • HAL Id : hal-01699927, version 1

Citation

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, 2017. 〈hal-01699927〉

Partager

Métriques

Consultations de la notice

70