Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (Q5089288): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
label / en | label / en | ||
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States | |||
Property / author | |||
Property / author: Thomas A. Henzinger / rank | |||
Property / author | |||
Property / author: Thomas A. Henzinger / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite-state energy games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5322945 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability of Parameterized Verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Long-Run Average Behaviour of Probabilistic Vector Addition Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nested Weighted Limit-Average Automata of Bounded Width / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantitative monitor automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Long-Run Average Behavior of Vector Addition Systems with States / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantitative Automata under Probabilistic Semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Complexity of Mean-Payoff Pushdown Games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperplane separation technique for multidimensional mean-payoff games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The reachability problem for Petri nets is not elementary / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4247290 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4289279 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5624436 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Component-based synthesis for complex APIs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4382287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integer Vector Addition Systems with States / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reachability in Succinct and Parametric One-Counter Automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Efficient Coverability Analysis by Proof Minimization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallel program schemata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A structure to decide reachability in Petri nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5002821 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Average Stack Cost of Büchi Pushdown Automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The covering and boundedness problems for vector addition systems / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3082869212 / rank | |||
Normal rank | |||
Property / title | |||
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (English) | |||
Property / title: Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (English) / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:04, 30 July 2024
scientific article; zbMATH DE number 7559479
Language | Label | Description | Also known as |
---|---|---|---|
English | Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States |
scientific article; zbMATH DE number 7559479 |
Statements
18 July 2022
0 references
vector addition systems
0 references
mean-payoff
0 references
multidimension
0 references
probabilistic semantics
0 references
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (English)
0 references