 |
Conference papers
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
Francesco Belardinelli 1
Mail :
Author
Rodica Condurache 2
Author
Catalin Dima 2
Mail :
Author IdHAL : catalin-dima arXiv : https://arxiv.org/a/catalin dima
Wojciech Jamroga 3
Mail :
Author
Andrew V. Jones 4
Author
1
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes (40 rue du Pelvoux, Courcouronnes ; 91020 Evry Cedex - France)
- UEVE - Université d'Évry-Val-d'Essonne : EA4526 (Boulevard François Mitterrand 91025 Evry Cedex - France)
2
LACL - Laboratoire d'Algorithmique Complexité et Logique (Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
- CNRS - Centre National de la Recherche Scientifique : FRE2673 (France)
3
PAN - Polska Akademia Nauk (Poland)
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01577780
Contributor : Tiago de Lima <>
Submitted on : Monday, August 28, 2017 - 10:12:00 AM
Last modification on : Monday, October 28, 2019 - 10:50:22 AM
Contributor : Tiago de Lima <>
Submitted on : Monday, August 28, 2017 - 10:12:00 AM
Last modification on : Monday, October 28, 2019 - 10:50:22 AM
Identifiers
- HAL Id : hal-01577780, version 1
Collections
IAF17 | CNRS | UNIV-EVRY | UPEC-UPEM | LACL | UNIV-PARIS-SACLAY | IBISC | IBISC-COSMO | UPEC
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⟩
Metrics
Record views
