Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

Catalin Dima; Ferucio Laurentiu Tiplea

Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

Catalin Dima ¹ Ferucio Laurentiu Tiplea

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

Abstract : no abstract

Document type :

Journal articles

Domain :

Computer Science [cs]

Liste complète des métadonnées

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

Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

Identifiers

Collections

Citation

Export

Metrics

37

Contact

Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

Identifiers

Collections

Citation

Export

Share

Metrics

37

Contact