Reasoning about Strategic Abilities (Q5222875)
From MaRDI portal
scientific article; zbMATH DE number 7076751
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning about Strategic Abilities |
scientific article; zbMATH DE number 7076751 |
Statements
Reasoning about Strategic Abilities (English)
0 references
4 July 2019
0 references
alternating-time temporal logic
0 references
perfect-recall semantics
0 references
