Long-Run Average Behavior of Vector Addition Systems with States (Q5875389)
From MaRDI portal
scientific article; zbMATH DE number 7649935
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Long-Run Average Behavior of Vector Addition Systems with States |
scientific article; zbMATH DE number 7649935 |
Statements
3 February 2023
0 references
vector addition systems
0 references
mean-payoff
0 references
Diophantine inequalities
0 references
Long-Run Average Behavior of Vector Addition Systems with States (English)
0 references
