Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States

DOI10.4230/LIPICS.CONCUR.2020.23OpenAlexW3082869212MaRDI QIDQ5089288FDOQ5089288

Authors: Krishnendu Chatterjee, Jan Otop, Thomas A. Henzinger 

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/2007.08917

Recommendations

• Long-Run Average Behavior of Vector Addition Systems with States
• Long-run average behaviour of probabilistic vector addition systems
• The Reachability Problem for Two-Dimensional Vector Addition Systems with States
• scientific article; zbMATH DE number 7559504
• A multiparameter analysis of the boundedness problem for vector addition systems
• scientific article; zbMATH DE number 3917705
• The complexity of reachability in affine vector addition systems with states
• scientific article; zbMATH DE number 7407775
• Systems of vector quasi-equilibrium problems and their applications
• CONCUR 2004 - Concurrency Theory

zbMATH Keywords

probabilistic semanticsmean-payoffvector addition systemsmultidimension

Mathematics Subject Classification ID

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

Cites Work

• Component-based synthesis for complex APIs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parallel program schemata
• Title not available (Why is that?)
• The covering and boundedness problems for vector addition systems
• Title not available (Why is that?)
• Reachability in two-dimensional vector addition systems with states is PSPACE-complete
• A structure to decide reachability in Petri nets
• Title not available (Why is that?)
• Decidability of parameterized verification
• Reachability in Succinct and Parametric One-Counter Automata
• Integer vector addition systems with states
• Efficient coverability analysis by proof minimization
• Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
• The reachability problem for Petri nets is not elementary
• The complexity of mean-payoff pushdown games
• Quantitative Automata under Probabilistic Semantics
• Quantitative monitor automata
• Infinite-state energy games
• Hyperplane separation technique for multidimensional mean-payoff games
• Polynomial vector addition systems with states
• Long-run average behaviour of probabilistic vector addition systems
• Nested weighted limit-average automata of bounded width
• Average stack cost of Büchi pushdown automata
• Long-Run Average Behavior of Vector Addition Systems with States

Cited In (1)

• Long-Run Average Behavior of Vector Addition Systems with States

This page was built for publication: Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089288)