Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01577780
Contributor : Tiago de Lima <>
Submitted on : Monday, August 28, 2017 - 10:12:00 AM
Last modification on : Wednesday, January 23, 2019 - 1:48:04 PM

Identifiers

  • HAL Id : hal-01577780, version 1

Citation

Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones. Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot . 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. ⟨hal-01577780⟩

Share

Metrics

Record views

162