Long-Run Average Behavior of Vector Addition Systems with States (Q5875389): Difference between revisions

@@ label / en / label / en @@
+Long-Run Average Behavior of 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 / describes a project that uses @@
+SyPet
@@ Property / describes a project that uses: SyPet / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2971342314
@@ Property / OpenAlex ID: W2971342314 / rank @@
+Normal rank
@@ Property / title @@
+Long-Run Average Behavior of Vector Addition Systems with States (English)
+Normal rank
@@ Property / cites work @@
+Infinite-state energy games
@@ Property / cites work: Infinite-state energy games / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Average-energy games
@@ Property / cites work: Average-energy games / rank @@
+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 @@
+Hyperplane separation technique for multidimensional mean-payoff games
+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 @@
+The reachability problem for Petri nets is not elementary
+Normal rank
@@ Property / cites work @@
+Mixed-integer quadratic programming is in NP
@@ Property / cites work: Mixed-integer quadratic programming is in NP / rank @@
+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 @@
+Component-based synthesis for complex APIs
@@ Property / cites work: Component-based synthesis for complex APIs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+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 @@
+Long-Run Average Behavior of Vector Addition Systems with States
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:5875389