Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot - Archive ouverte HAL 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⟩
184 View
33 Download

Share

Gmail Mastodon Facebook X LinkedIn More