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

Abstract : no abstract
Type de document :
Communication dans un congrès
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, 2010, 〈10.4204/EPTCS.25.12〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699952
Contributeur : Catalin Dima <>
Soumis le : vendredi 2 février 2018 - 22:52:27
Dernière modification le : jeudi 15 novembre 2018 - 20:26:57

Lien texte intégral

Identifiants

Collections

Citation

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, 2010, 〈10.4204/EPTCS.25.12〉. 〈hal-01699952〉

Partager

Métriques

Consultations de la notice

26