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

Abstract : no abstract
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699956
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:52:38 PM
Last modification on : Saturday, February 3, 2018 - 1:11:57 AM

Identifiers

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〉

Share

Metrics

Record views

18