Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905)
From MaRDI portal
scientific article; zbMATH DE number 6744223
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> |
scientific article; zbMATH DE number 6744223 |
Statements
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (English)
0 references
12 July 2017
0 references
\(\mathrm{ATL}^+\)
0 references
alternating-time temporal logics
0 references
decision procedure
0 references
model synthesis
0 references
satisfiability
0 references
tableaux
0 references
