Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

Abstract : no abstract
Type de document :
Communication dans un congrès
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, 2008, 〈10.1007/978-3-540-93920-7_6〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699956
Contributeur : Catalin Dima <>
Soumis le : vendredi 2 février 2018 - 22:52:38
Dernière modification le : samedi 3 février 2018 - 01:11:57

Identifiants

Collections

Citation

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, 2008, 〈10.1007/978-3-540-93920-7_6〉. 〈hal-01699956〉

Partager

Métriques

Consultations de la notice

16