Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

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

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〉

Partager

Métriques

Consultations de la notice

76