Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (Q5089288): Difference between revisions

@@ label / en / label / en @@
+Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
@@ Property / author @@
-Thomas A. Henzinger
@@ Property / author: Thomas A. Henzinger / rank @@
-Normal rank
@@ Property / author @@
+Thomas A. Henzinger
@@ Property / author: Thomas A. Henzinger / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-state energy games
@@ Property / cites work: Infinite-state energy games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete
+Normal rank
@@ Property / cites work @@
+Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
+Normal rank
@@ Property / cites work @@
+Long-Run Average Behaviour of Probabilistic Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Nested Weighted Limit-Average Automata of Bounded Width
+Normal rank
@@ Property / cites work @@
+Quantitative monitor automata
@@ Property / cites work: Quantitative monitor automata / rank @@
+Normal rank
@@ Property / cites work @@
+Long-Run Average Behavior of Vector Addition Systems with States
+Normal rank
@@ Property / cites work @@
+Quantitative Automata under Probabilistic Semantics
+Normal rank
@@ Property / cites work @@
+The Complexity of Mean-Payoff Pushdown Games
@@ Property / cites work: The Complexity of Mean-Payoff Pushdown Games / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperplane separation technique for multidimensional mean-payoff games
+Normal rank
@@ Property / cites work @@
+The reachability problem for Petri nets is not elementary
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624436
@@ Property / cites work: Q5624436 / rank @@
+Normal rank
@@ Property / cites work @@
+Component-based synthesis for complex APIs
@@ Property / cites work: Component-based synthesis for complex APIs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Integer Vector Addition Systems with States
@@ Property / cites work: Integer Vector Addition Systems with States / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Succinct and Parametric One-Counter Automata
+Normal rank
@@ Property / cites work @@
+Efficient Coverability Analysis by Proof Minimization
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+A structure to decide reachability in Petri nets
@@ Property / cites work: A structure to decide reachability in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5002821
@@ Property / cites work: Q5002821 / rank @@
+Normal rank
@@ Property / cites work @@
+Average Stack Cost of Büchi Pushdown Automata
@@ Property / cites work: Average Stack Cost of Büchi Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / OpenAlex ID @@
+W3082869212
@@ Property / OpenAlex ID: W3082869212 / rank @@
+Normal rank
@@ Property / title @@
+Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (English)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5089288