Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

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

Dimitar P. Guelev
  • Fonction : Auteur

Résumé

no abstract

Dates et versions

hal-01699956 , version 1 (02-02-2018)

Identifiants

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⟩

Collections

CNRS LACL UPEC
23 Consultations
0 Téléchargements

Altmetric

Partager

More