Communication Dans Un Congrès Année : 2017

Dates et versions

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

Licence

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⟩
445 Consultations
374 Téléchargements

Partager

  • More