Long-Run Average Behavior of Vector Addition Systems with States

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

zbMATH Keywords

Diophantine inequalitiesmean-payoffvector addition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

• SyPet

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