Reasoning about strategies: on the satisfiability problem (Q2980973)
From MaRDI portal
!
WARNING
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 6712185
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Reasoning about strategies: on the satisfiability problem |
scientific article; zbMATH DE number 6712185 |
Statements
8 May 2017
0 references
strategy logic
0 references
multi-agent games
0 references
strategic reasonings
0 references
alternating-time temporal logic
0 references
bounded tree-model property
0 references
satisfiability problem
0 references
0.941788136959076
0 references
0.8828404545783997
0 references
0.8550580739974976
0 references
0.8432455062866211
0 references
0.8431479334831238
0 references
