 |
Conference papers
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
Francesco Belardinelli 1
Author
Rodica Condurache 2
Author
Catalin Dima 2
Author IdHAL : catalin-dima arXiv : https://arxiv.org/a/catalin dima
Wojciech Jamroga 3
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 : EA 4526 (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)
Abstract : no abstract
Document type :
Conference papers
Domain :
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01699927
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:51:02 PM
Last modification on : Saturday, May 1, 2021 - 3:49:30 AM
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:51:02 PM
Last modification on : Saturday, May 1, 2021 - 3:49:30 AM
Identifiers
- HAL Id : hal-01699927, version 1
Collections
CNRS | UNIV-EVRY | UPEC-UPEM | LACL | IBISC | IBISC-COSMO | UPEC | IAF17 | GS-COMPUTER-SCIENCE | GS-ENGINEERING
Citation
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones. Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, Unknown, Unknown Region. pp.1286--1295. ⟨hal-01699927⟩
Metrics
Record views