A modal \(\mu\) perspective on solving parity games in quasi-polynomial time (Q5145340)
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 7298789
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A modal \(\mu\) perspective on solving parity games in quasi-polynomial time |
scientific article; zbMATH DE number 7298789 |
Statements
A modal μ perspective on solving parity games in quasi-polynomial time (English)
0 references
20 January 2021
0 references
algorithmic complexity
0 references
descriptive complexity
0 references
modal \(\mu\) calculus
0 references
parity games
0 references
0.8662285208702087
0 references
0.8548339605331421
0 references
0.8431097865104675
0 references
0.8370568156242371
0 references
