No label defined (Q5101346)
From MaRDI portal
scientific article; zbMATH DE number 7577577
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7577577 |
Statements
30 August 2022
0 references
comparator automata
0 references
aggregate functions
0 references
discounted-sum
0 references
limit-average
0 references
quantitative inclusion
0 references
\textsf{PSPACE}-complete
0 references
\(\omega\)-regular
0 references
integer discount-factor
0 references
0 references
