Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot - Université d'Évry Access content directly
Conference Papers Year : 2017

Dates and versions

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

Licence

Identifiers

  • HAL Id : hal-01699927 , version 1

Cite

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⟩
182 View
31 Download

Share

Gmail Mastodon Facebook X LinkedIn More