Average Stack Cost of Büchi Pushdown Automata
From MaRDI portal
Publication:5136334
DOI10.4230/LIPIcs.FSTTCS.2017.42zbMath1491.68100arXiv1710.04490OpenAlexW2963371887MaRDI QIDQ5136334
Publication date: 25 November 2020
Full work available at URL: https://arxiv.org/abs/1710.04490
Related Items
Long-Run Average Behavior of Vector Addition Systems with States, Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
Cites Work
- Unnamed Item
- Average-energy games
- Weighted pushdown systems and their application to interprocedural dataflow analysis
- Quantitative languages
- Mean-Payoff Pushdown Games
- Nested Weighted Automata
- Nested Weighted Automata
- Weighted Pushdown Systems with Indexed Weight Domains
- Program Analysis Using Weighted Pushdown Systems