The Complexity of Mean-Payoff Pushdown Games (Q4640299)
From MaRDI portal
scientific article; zbMATH DE number 6869425
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Complexity of Mean-Payoff Pushdown Games |
scientific article; zbMATH DE number 6869425 |
Statements
The Complexity of Mean-Payoff Pushdown Games (English)
0 references
17 May 2018
0 references
graph games
0 references
mean-payoff objectives
0 references
pushdown systems
0 references
quantitative verification
0 references
synthesis
0 references
