Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Abstract

no abstract
Fichier principal
Vignette du fichier
S0890540120300407.pdf (710.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution - NonCommercial

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⟩
169 View
1 Download

Share

Gmail Facebook Twitter LinkedIn More