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.
Type de document :
Communication dans un congrès
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. 〈https://pfia2017.greyc.fr/iaf/〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01577780
Contributeur : Tiago De Lima <>
Soumis le : lundi 28 août 2017 - 10:12:00
Dernière modification le : jeudi 11 janvier 2018 - 06:19:29

Identifiants

  • HAL Id : hal-01577780, version 1

Collections

IAF17 | 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. 〈https://pfia2017.greyc.fr/iaf/〉. 〈hal-01577780〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

126

Contact

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