ATL Satisfiability is Indeed EXPTIME-complete (Q3431973)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5142596
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | ATL Satisfiability is Indeed EXPTIME-complete |
scientific article; zbMATH DE number 5142596 |
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
0.8626120686531067
0 references
0.8457664847373962
0 references
0.8398224711418152
0 references
0.8359457850456238
0 references
0.8349615335464478
0 references
