Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Francesco Belardinelli 1 Rodica Condurache 2 Catalin Dima 2 Wojciech Jamroga 3 Andrew V. Jones 4
1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
3 PAN - Polska Akademia Nauk
4 Vector Software Inc.
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

Collections

IAF17 | UNIV-EVRY | UPEC-UPEM | LACL | UNIV-PARIS-SACLAY | IBISC | IBISC-COSMO

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

162

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD