Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

Résumé

no abstract

Domaines

Informatique [cs]

Catalin Dima  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01699952

Soumis le : vendredi 2 février 2018-22:52:27

Dernière modification le : vendredi 24 mars 2023-14:53:06

Consulter le texte intégral

Dates et versions

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

Identifiants

Citer

Catalin Dima, Constantin Enea, Dimitar P. Guelev. Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions. Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., 2010, Unknown, Unknown Region. pp.103--117, ⟨10.4204/EPTCS.25.12⟩. ⟨hal-01699952⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS LACL UPEC
40 Consultations
0 Téléchargements

Altmetric

Partager

More