The complexity of rational synthesis (Q4598263)
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 6820310
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The complexity of rational synthesis |
scientific article; zbMATH DE number 6820310 |
Statements
19 December 2017
0 references
non-zero sum games
0 references
reactive synthesis
0 references
omega-regular objectives
0 references
The Complexity of Rational Synthesis (English)
0 references
0.895606279373169
0 references
0.8161383867263794
0 references
0.7914126515388489
0 references
0.7601330876350403
0 references
0.7410382628440857
0 references
