Skip to Main content Skip to Navigation
Conference papers

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

Abstract : no abstract
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01699956
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:52:38 PM
Last modification on : Friday, October 4, 2019 - 1:12:47 AM

Links full text

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, ⟨10.1007/978-3-540-93920-7_6⟩. ⟨hal-01699956⟩

Share

Metrics

Record views

67