Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
Résumé
no abstract
Communication Dans Un Congrès
Année : 2008
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699956
Soumis le : vendredi 2 février 2018-22:52:38
Dernière modification le : vendredi 24 mars 2023-14:53:06
Citer
Dimitar P. Guelev, Catalin Dima. Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.75--90, ⟨10.1007/978-3-540-93920-7_6⟩. ⟨hal-01699956⟩
18
Consultations
0
Téléchargements