Quantitative solution of omega-regular games380872 (Q5176026)
From MaRDI portal
scientific article; zbMATH DE number 6409767
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantitative solution of omega-regular games380872 |
scientific article; zbMATH DE number 6409767 |
Statements
Quantitative solution of omega-regular games380872 (English)
0 references
27 February 2015
0 references
