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

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Abstract

no abstract

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
S0890540120300407.pdf (710.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Accord Elsevier CCSD  : Connect in order to contact the contributor

https://hal.science/hal-01699927

Submitted on : Friday, February 3, 2023-3:13:06 PM

Last modification on : Monday, April 22, 2024-4:23:32 PM

Long-term archiving on: Thursday, May 4, 2023-7:47:13 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-EVRY LACL IBISC UPEC IBISC-COSMO UNIV-PARIS-SACLAY IAF17 GS-ENGINEERING GS-COMPUTER-SCIENCE
180 View
29 Download

Share

Gmail Facebook X LinkedIn More