Deciding \(\mathsf {ATL}^*\) satisfiability by tableaux (Q3454093)
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 6515508
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Deciding \(\mathsf {ATL}^*\) satisfiability by tableaux |
scientific article; zbMATH DE number 6515508 |
Statements
Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux (English)
0 references
2 December 2015
0 references
alternating-time temporal logic
0 references
\(\mathsf {ATL}^*\)
0 references
automated theorem prover
0 references
satisfiability
0 references
tableaux
0 references
0 references
0 references
0.9240173101425172
0 references
0.8849896192550659
0 references
0.8774271011352539
0 references
0.8630579113960266
0 references
0.8513780236244202
0 references
