ATL Satisfiability is Indeed EXPTIME-complete (Q3431973)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ATL Satisfiability is Indeed EXPTIME-complete |
scientific article |
Statements
ATL Satisfiability is Indeed EXPTIME-complete (English)
0 references
13 April 2007
0 references
alternating-time temporal logic
0 references
computational complexity
0 references
satisfiability problem
0 references
elimination construction
0 references
