Long-Run Average Behavior of Vector Addition Systems with States
From MaRDI portal
Publication:5875389
DOI10.4230/LIPIcs.CONCUR.2019.27OpenAlexW2971342314MaRDI QIDQ5875389
Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger
Publication date: 3 February 2023
Full work available at URL: https://arxiv.org/abs/1905.05537
Related Items
Long-Run Average Behavior of Vector Addition Systems with States, Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Mixed-integer quadratic programming is in NP
- A structure to decide reachability in Petri nets
- The covering and boundedness problems for vector addition systems
- Quantitative monitor automata
- Hyperplane separation technique for multidimensional mean-payoff games
- Average-energy games
- Parallel program schemata
- Efficient Coverability Analysis by Proof Minimization
- Decidability of Parameterized Verification
- Nested Weighted Limit-Average Automata of Bounded Width
- Infinite-state energy games
- Long-Run Average Behaviour of Probabilistic Vector Addition Systems
- The Complexity of Mean-Payoff Pushdown Games
- Average Stack Cost of Büchi Pushdown Automata
- Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
- The reachability problem for Petri nets is not elementary
- Component-based synthesis for complex APIs
- Long-Run Average Behavior of Vector Addition Systems with States