Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
Résumé
no abstract
Communication Dans Un Congrès
Année : 2010
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
Dates et versions
Identifiants
- HAL Id : hal-01699952 , version 1
- ARXIV : 1006.1414
- DOI : 10.4204/EPTCS.25.12
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⟩
Collections
34
Consultations
0
Téléchargements